| 000 | 01274cam a22003377a 4500 | ||
|---|---|---|---|
| 001 | 17285634 | ||
| 003 | OSt | ||
| 005 | 20150707151020.0 | ||
| 008 | 120504s2012 nyua 000 0 eng d | ||
| 010 | _a 2012939054 | ||
| 016 | 7 |
_a016068478 _2Uk |
|
| 020 |
_a9781461436300 (hdbk. : acidfree paper) _cEuro 26.99 |
||
| 035 | _a(OCoLC)ocn781681656 | ||
| 040 |
_aBTCTA _beng _cBTCTA _dUKMGB _dYBM _dYDXCP _dOCLCO _dCDX _dBWX _dGPM _dDLC |
||
| 042 | _alccopycat | ||
| 050 | 0 | 0 |
_aQA9 _b.C843 2012 |
| 082 |
_223 _a511.3 C917L |
||
| 100 | 1 |
_aCunningham, Daniel W. _95516 |
|
| 222 | _aMathematics Collection | ||
| 245 | 1 | 2 |
_aLogical Introduction to Proof _cDaniel W. Cunningham. |
| 260 |
_aNew York : _bSpringer, _c2012. |
||
| 300 |
_axv, 356 p. : _bill. ; _c24 cm. |
||
| 505 | 0 | _aPropositional logic -- Predicate logic -- Proof strategies and diagrams -- Mathematical induction -- Set theory -- Functions -- Relations -- Core concepts in abstract algebra -- Core concepts in real analysis. | |
| 650 | 0 |
_aLogic, Symbolic and mathematical. _95517 |
|
| 650 | 0 |
_aLogic _96246 |
|
| 650 | 0 |
_aMathematics _96247 |
|
| 906 |
_a7 _bcbc _ccopycat _d2 _encip _f20 _gy-gencatlg |
||
| 942 |
_2ddc _cBK |
||
| 999 |
_c6824 _d6824 |
||