000 01082nam a2200277 a 4500
001 14137460
008 110302r20092006enka b 001 0 eng d
010 _a 2005029447
020 _a0521861241
020 _a0521675995 (pbk.)
020 _a9780521861243
020 _a9780521675994 (pbk.)
040 _aDLC
_cDLC
_dYDX
_dBAKER
_dDLC
_dBD-DhAAL
082 0 0 _a511.3
_222
100 1 _aVelleman, Daniel J.
245 1 0 _aHow to prove it :
_ba structured approach /
_cDaniel J. Velleman.
250 _a2nd ed.
260 _aCambridge ; New York :
_bCambridge University Press,
_c2006.[Reprinted 2009]
300 _axiii, 384 p. :
_bill. ;
_c24 cm.
504 _aIncludes bibliographical references (p. 375) and index.
650 0 _aLogic, Symbolic and mathematical.
650 0 _aMathematics.
999 _c10494
_d10494
952 _w2011-03-02
_p3010022000
_r2012-02-28
_40
_eKarim International
_00
_bBRACUL
_m31
_10
_o511.3 VEL
_d2011-03-02
_q2012-05-17
_t1
_70
_cGEN
_2ddc
_g2100.00
_yBK
_s2012-02-28
_l3
_aBRACUL