| 000 | 00890cam a22002654i 4500 | ||
|---|---|---|---|
| 001 | 18024421 | ||
| 005 | 20150807165430.0 | ||
| 008 | 140130s2014 flu b 001 0 eng | ||
| 010 | _a 2014003736 | ||
| 020 | _a9781466514904 (pbk) | ||
| 040 |
_aDLC _beng _cDLC _erda _dDLC |
||
| 042 | _apcc | ||
| 050 | 0 | 0 |
_aQA9.54 _b.T39 2014 |
| 082 | 0 | 0 |
_a511.3 TAY-GAR _223 |
| 100 | 1 |
_aTaylor, John, _d1957- |
|
| 245 | 1 | 0 |
_aUnderstanding mathematical proof _cJohn Taylor, Rowan Garnier. |
| 260 |
_aBoca Raton: _bCRC Press; _c2014 |
||
| 300 |
_axix, 394 pages ; _c21 cm. |
||
| 500 | _aIncludes bibliographical references and index. | ||
| 650 | 0 | _aProof theory. | |
| 650 | 0 | _aLogic, Symbolic and mathematical. | |
| 700 | 1 | _aGarnier, Rowan. | |
| 906 |
_a7 _bcbc _corignew _d1 _eecip _f20 _gy-gencatlg |
||
| 955 |
_brl03 2014-01-30 _irl03 2014-01-30 to Dewey _axn09 2014-05-14 1 copy rec'd., to CIP ver. |
||
| 999 |
_c118670 _d118670 |
||