TY  - BOOK
AU  - Takeuti,Gaisi
TI  - Proof theory
SN  - 0444104925 (American Elsevier)
PY  - 1975///
CY  - Amsterdam
PB  - North-Holland
KW  - Proof theory
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  -