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 -