Proof theory
Takeuti, Gaisi
Proof theory Gaisi Takeuti, Professor Emeritus of Mathematics, the University of Illinois at Urbana-Champaign. - Second edition. - Mineola, New York: Dover Publications, 2013 - x, 490 p. ; 23 cm - Dover books on mathematics .
Postscript p. 381
Anexe p. 393
Index p. 487
"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"--
eng
9780486490731 0486490734
2012030734
Proof theory.
Mathematical logic
Mathematics / Logic
QA9.54
511.36
Proof theory Gaisi Takeuti, Professor Emeritus of Mathematics, the University of Illinois at Urbana-Champaign. - Second edition. - Mineola, New York: Dover Publications, 2013 - x, 490 p. ; 23 cm - Dover books on mathematics .
Postscript p. 381
Anexe p. 393
Index p. 487
"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"--
eng
9780486490731 0486490734
2012030734
Proof theory.
Mathematical logic
Mathematics / Logic
QA9.54
511.36