TY  - GEN
AU  - Takeuti,Gaisi
TI  - Proof theory 
T2  - Dover books on mathematics
SN  - 9780486490731 
AV  - QA9.54 
U1  - 511.36 
PY  - 2013///
CY  - Mineola, New York
PB  - Dover Publications
KW  - Proof theory
KW  - Mathematical logic
KW  - Mathematics / Logic
N1  - Postscript p. 381
Anexe p. 393
Index p. 487
N2  - "This comprehensive monograph is a cornerstone in the area of mathematical logic and related fields. Focusing on Gentzen-type proof theory, the book presents a detailed overview of creative works by the author and other 20th-century logicians that includes applications of proof theory to logic as well as other areas of mathematics. 1975 edition"--
ER  -