| 000 | 00606pam a2200205a 44500 | ||
|---|---|---|---|
| 020 | _a9781439812808 | ||
| 041 | _aeng | ||
| 082 | _a511.1 GAR T | ||
| 100 | _aGarnier, Rowan | ||
| 245 |
_aDisccrete mathematics : proof structures and applications _c Rowan Garnier and John Taylor |
||
| 250 | _a3rd ed. | ||
| 260 |
_aBoca Raton _bCRC Press _c2011 |
||
| 300 |
_axxi, 821p. _c23 cm. |
||
| 365 | _b | ||
| 650 | _aLongical connectives - truth tables | ||
| 650 | _aAlgebra propositions | ||
| 650 | _aTautologies - contradictions | ||
| 650 | _aGeneral principles of mathematics | ||
| 700 | _aTaylor, John | ||
| 999 |
_c352095 _d352031 |
||