عنوان
پدید آورنده
موضوع
رده
QA9.54 .T34 1975
QA9
.
54
.
T34
1975
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
Terms of Availability and/or Price
(American Elsevier)
(Number (ISBN
0444104925
NATIONAL BIBLIOGRAPHY NUMBER
Number
dltt
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Proof theory /
General Material Designation
[Book]
First Statement of Responsibility
Gaisi Takeuti
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
American Elsevier Pub. Co.,
Date of Publication, Distribution, etc.
1975
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
vii, 372 p. ;
Dimensions
23 cm
SERIES
Series Title
Studies in logic and the foundations of mathematics ;
ISSN of Series
v. 81
GENERAL NOTES
Text of Note
Based on a series of lectures given at the Symposium on Institutionism and Proof Theory held at Buffalo in the summer of 1968
Text of Note
Includes index
TOPICAL NAME USED AS SUBJECT
Proof theory
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA9
.
54
Book number
.
T34
1975
PERSONAL NAME - PRIMARY RESPONSIBILITY
Takeuti, Gaisi,1926-
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
