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"--