01063 a2200241 4500010001700000020001900017020001600036050001100052082001100063084001200074100001900086546000800105245011700113250002000230260005000250300002300300490003100323500004800354520035400402650001800756650002300774650002400797 a 2012030734 a9780486490731 a0486490734 00aQA9.5400a511.36 2bisacsh1 aTakeuti, Gaisi aeng10aProof theory cGaisi Takeuti, Professor Emeritus of Mathematics, the University of Illinois at Urbana-Champaign. aSecond edition. aMineola, New York:bDover Publications,c2013 ax, 490 p. ;c23 cm0 aDover books on mathematics aPostscript p. 381
Anexe p. 393
Index p. 487 a"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"-- 0aProof theory. 0aMathematical logic 7aMathematics / Logic