Proof theory /
Takeuti, Gaisi, 1926-
Proof theory / Gaisi Takeuti, Professor Emeritus of Mathematics, the University of Illinois at Urbana-Champaign. - 2nd ed. - x, 490 pages ; 23 cm. - Dover books on mathematics .
Includes bibliographical references and index.
"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"--
9780486490731 (pbk.) 0486490734 (pbk.)
2012030734
Proof theory.
MATHEMATICS / Logic.
QA9.54 / .T14 2013
511.3/6
Proof theory / Gaisi Takeuti, Professor Emeritus of Mathematics, the University of Illinois at Urbana-Champaign. - 2nd ed. - x, 490 pages ; 23 cm. - Dover books on mathematics .
Includes bibliographical references and index.
"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"--
9780486490731 (pbk.) 0486490734 (pbk.)
2012030734
Proof theory.
MATHEMATICS / Logic.
QA9.54 / .T14 2013
511.3/6