| 000 | 01252cam a22003497a 4500 | ||
|---|---|---|---|
| 001 | 10115809 | ||
| 003 | IIITD | ||
| 005 | 20140501155300.0 | ||
| 006 | m d | ||
| 007 | cr n | ||
| 008 | 120210s2012 nyua s 000 0 eng d | ||
| 016 | 7 |
_a016068478 _2Uk |
|
| 020 | _a9781461436300 | ||
| 035 | _a(WaSeSS)ssj0000767546 | ||
| 040 |
_aBTCTA _beng _cBTCTA _dUKMGB _dYBM _dYDXCP _dOCLCO _dCDX _dBWX _dGPM _dDLC _dWaSeSS |
||
| 042 | _alccopycat | ||
| 050 | 4 |
_aQA9 _b.C843 2012 |
|
| 050 | 4 | _aQA9.54 | |
| 082 |
_bCUN-L _a511.3 |
||
| 100 | 1 | _aCunningham, Daniel W. | |
| 210 | 1 | 0 | _aA logical introduction to proof |
| 245 | 1 | 2 |
_aA logical introduction to proof _cDaniel W. Cunningham. |
| 260 |
_aNew York : _bSpringer, _c2012. |
||
| 300 | _a356P. : | ||
| 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. | |
| 506 | _aLicense restrictions may limit access. | ||
| 600 | _aMathematics | ||
| 650 | 0 | _aLogic, Symbolic and mathematical. | |
| 773 | 0 | _tSpringerLink ebooks - Mathematics and Statistics (2013) | |
| 910 | _aLibrary of Congress record | ||
| 942 |
_2ddc _cBK |
||
| 999 |
_c9792 _d9792 |
||