TY  - BOOK
AU  - Takeuti,Gaisi
TI  - Proof theory
SN  - 0720422779 :
U1  - 517.0108 
PY  - 1975///
CY  - Amsterdam
PB  - North-Holland
KW  - Proof theory
KW  - Mathematics
KW  - Study and teaching
N1  - Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo in the summer of 1968; Includes index
ER  -