| 000 | 00621nam a22002177a 4500 | ||
|---|---|---|---|
| 003 | IIITD | ||
| 005 | 20230907020002.0 | ||
| 008 | 220217b xxu||||| |||| 00| 0 eng d | ||
| 020 | _a9780262539791 | ||
| 040 | _aIIITD | ||
| 082 |
_a511.36 _bHAM-P |
||
| 100 | _aHamkins, Joel David | ||
| 245 |
_aProof and the art of mathematics _cby Joel David Hamkins |
||
| 260 |
_bMIT Press, _aCambridge : _c©2020 |
||
| 300 |
_axiv, 208 p. : _bill. ; _c23 cm. |
||
| 500 | _aThis book includes an index. | ||
| 650 | _aLogic, Symbolic and mathematical | ||
| 650 | _aProof theory | ||
| 650 | _aMathematics | ||
| 942 |
_2ddc _cBK _02 |
||
| 999 |
_c156723 _d156723 |
||