000 | 00665nam a22002057a 4500 | ||
---|---|---|---|
003 | OSt | ||
005 | 20220331093958.0 | ||
008 | 220328b |||||||| |||| 00| 0 eng d | ||
020 | _a9780262539791 Pbk. | ||
040 |
_aMMSU _cULS |
||
050 | _aQA 9.54 H36 2020 CIRC | ||
100 | _aHamkins , Joel David | ||
245 |
_aProof and the art of mathematics / _cJoel David Hamkins |
||
260 |
_aCambridge, MA : _bThe MIT Press, _c2020. |
||
300 |
_axxvi, 208 pages : _bcol. ill.; _c23 cm. |
||
500 | _aIncludes bibliographical references and index. | ||
650 |
_aProof--theory _92433 |
||
650 | _aLogic, Symbolic and mathematical--Textbooks | ||
942 |
_2lcc _cBK |
||
999 |
_c17182 _d17182 |