|
" Proof theory / "
Gaisi Takeuti
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
656201
|
| Doc. No
|
:
|
dltt
|
| Main Entry
|
:
|
Takeuti, Gaisi,1926-
|
| Title & Author
|
:
|
Proof theory /\ Gaisi Takeuti
|
| Publication Statement
|
:
|
Amsterdam :: North-Holland Pub. Co. ;New York :: American Elsevier Pub. Co.,, 1975
|
| Series Statement
|
:
|
Studies in logic and the foundations of mathematics ;
|
| Page. NO
|
:
|
vii, 372 p. ;; 23 cm
|
| ISBN
|
:
|
0444104925
|
| Notes
|
:
|
Based on a series of lectures given at the Symposium on Institutionism and Proof Theory held at Buffalo in the summer of 1968
|
|
|
:
|
Includes index
|
| Subject
|
:
|
Proof theory
|
| LC Classification
|
:
|
QA9.54.T34 1975
|
| |