000 | 00926n a2200313#a 4500 | ||
---|---|---|---|
001 | 9841 | ||
005 | 20230821165918.0 | ||
008 | 930526s1994 enka b 000 0 eng | ||
010 | _a93014567 | ||
015 | _aGB95-6074 | ||
020 | _a0521441161 (hardback) | ||
020 | _a0521446635 (pbk.) | ||
035 | _aocm28257516 | ||
035 | _aRecord 18506 | ||
040 |
_aDLC _cDLC _dUKM |
||
049 | _aP5AA | ||
082 | 0 | 0 |
_a510.7 _bV439h |
090 | _aens | ||
100 | 1 |
_aVelleman, Daniel J. _936040 |
|
245 | 1 | 0 |
_aHow to prove it: _ba structured approach/ _cDaniel J. Velleman. |
260 |
_aCambridge, UK _aNew York: _bCambridge University Press, _c1994. |
||
300 |
_aix, 309 p.: _bill.; _c24 cm. |
||
504 | _aIncludes bibliographical references (p. 304) and index. | ||
650 | 0 | 0 |
_aLogic, Symbolic and mathematical. _99813 |
650 | 0 | 4 |
_aMathematics. _943458 |
697 |
_aEnsino _919 |
||
942 |
_2impa _cBK |
||
999 |
_c10819 _d10819 |