TY  - BOOK
AU  - Takeuti,Gaisi
TI  - Proof theory
T2  - Dover books on mathematics
SN  - 9780486490731 (pbk.)
AV  - QA9.54 .T14  2013
U1  - 511.3/6 23
PY  - 2013///
CY  - Mineola, New York
PB  - Dover Publications
KW  - Proof theory
KW  - MATHEMATICS / Logic
KW  - bisacsh
N1  - Includes bibliographical references and index
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  -