Menu
Home
Advanced Search
Directory of Libraries
عنوان
Goal-directed proof theory
پدید آورنده
/ by Dov M. Gabbay and Nicola Olivetti
موضوع
Proof theory
رده
QA9
.
54
.
G33
2000
کتابخانه
Central Library and Information Center of the University of Mohaghegh Ardabili
محل استقرار
استان:
Ardabil
ـ شهر:
Ardabil
تماس با کتابخانه :
90
-
33512081
-
045
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0792364732
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
EB11679
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
COUNTRY OF PUBLICATION OR PRODUCTlON
Country of publication
IR
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Goal-directed proof theory
General Material Designation
[Electronic Resource]
First Statement of Responsibility
/ by Dov M. Gabbay and Nicola Olivetti
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Dordrecht ; Boston
Name of Publisher, Distributor, etc.
: Kluwer Academic,
Date of Publication, Distribution, etc.
, 2000.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
x, 266 p. ill. 25 cm.
SERIES
Series Title
(Applied logic series
Volume Designation
; v. 21)
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
e
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
ng
Text of Note
Includes bibliographical references and index.
TOPICAL NAME USED AS SUBJECT
Proof theory
DEWEY DECIMAL CLASSIFICATION
Number
511
.
3
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA9
.
54
Book number
.
G33
2000
PERSONAL NAME - PRIMARY RESPONSIBILITY
Gabbay, Dov M.,1945-
PERSONAL NAME - SECONDARY RESPONSIBILITY
Olivetti, Nicola
ORIGINATING SOURCE
Country
ایران
ELECTRONIC LOCATION AND ACCESS
Host name
0792364732.pdf
Access number
محرمانه
Compression information
محرمانه
Date and Hour of Consultation and Access
0792364732.pdf
Bits per second
0
Electronic Format Type
متن
old catalog
e
BL
1
a
Y
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal