Proof theory

RecordNumber :

23947

LC Class :

LC Number :

9.54

LC CutterNumber :

.T34

LC Date :

1987

Dewey Class :

511

Dewey Date :

Author :

Title :

Author Statement :

Gaisi Takeuti

Edition :

2nd ed

Publication :

North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co

Publication Year :

1987

Collation :

x, 490 p.; 23 cm

Series :

Studies in logic and the foundations of mathematics ; v. 81

Notes :

Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo, 1968,Includes index

Subject :

Holding Info. :

0444879439

DocumentNumber :

23995

Biblography :

Bibliography: p. 481-485

BL :

Link To Document :