01160 a2200277 4500
2012030734
9780486490731
0486490734
QA9.54
511.36
bisacsh
31990
31990
Takeuti, Gaisi
eng
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"--
Proof theory.
Mathematical logic
Mathematics / Logic
IMAR
CART
511.36
EP
0
0
0
0
IMAR
IMAR
2024-03-21
Black Cat Books
74.94
Mcc 9794
0
511.36-TAK
0036404
0000-00-00 00:00:00
1
2024-03-21
CART
ACQ
31549
31549