| 000 | 01160 a2200277 4500 | ||
|---|---|---|---|
| 010 | _a 2012030734 | ||
| 020 | _a9780486490731 | ||
| 020 | _a0486490734 | ||
| 050 | 0 | 0 | _aQA9.54 |
| 082 | 0 | 0 | _a511.36 |
| 084 | _2bisacsh | ||
| 090 |
_c31990 _d31990 |
||
| 100 | 1 | _aTakeuti, Gaisi | |
| 546 | _aeng | ||
| 245 | 1 | 0 |
_aProof theory _cGaisi Takeuti, Professor Emeritus of Mathematics, the University of Illinois at Urbana-Champaign. |
| 250 | _aSecond edition. | ||
| 260 |
_aMineola, New York: _bDover Publications, _c2013 |
||
| 300 |
_ax, 490 p. ; _c23 cm |
||
| 490 | 0 | _aDover books on mathematics | |
| 500 | _aPostscript p. 381 Anexe p. 393 Index p. 487 | ||
| 520 | _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"-- | ||
| 650 | 0 | _aProof theory. | |
| 650 | 0 | _aMathematical logic | |
| 650 | 7 | _aMathematics / Logic | |
| 942 |
_aIMAR _cCART _k511.36 _sEP |
||
| 999 |
_c31549 _d31549 |
||