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