Proof theory

RecordNumber :

23946

LC Class :

LC Number :

9.54

LC CutterNumber :

.T34

LC Date :

1975

Dewey Class :

511

Dewey Date :

/.3

Author :

Title :

Author Statement :

Gaisi Takeuti

Publication :

North-Holland Pub. Co. ;

Publication Year :

1975

Collation :

vii, 372 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 in the summer of 1968

Subject :

Holding Info. :

0444104925

DocumentNumber :

5515

Index :

Includes index.

BL :

Link To Document :