000 00717nam a2200241Ia 4500
001 190476
003 BIBL
005 20160527191636.0
008 930526s1994 enk b 000 0 eng
010 _a 93014567
020 _a0521441161
049 _aUCGG
050 0 0 _aQA9
_b.V38 1994
082 0 0 _a511.3
_220
092 _a511.3
_bV
100 1 _aVelleman, Daniel J.
_2Local
_9184919
245 1 0 _aHow to prove it
_ba structured approach
_cDaniel J. Velleman.
260 _aCambridge [England]
_aNew York
_bCambridge University
_c1994.
300 _a304 p.
504 _aIncludes bibliographical references.
650 0 _aLogic, Symbolic and mathematical
_2Local
_9127231
650 0 _aMathematics
_2Local
_9132758
999 _c144703
_d144703