000 00411nam a22001457a 4500
005 20260312132433.0
008 260312b |||||||| |||| 00| 0 eng d
020 _a0521441161
050 _aQA9.V38 1994
100 _aVelleman. J. D.
245 _aHow to prove it/
_bA structured approach
_cDaniel, V. J.
260 _aCambridge
_bCambridge university press
_c1994
300 _aix, 309p, ;ill
_bhbk
942 _cBK
999 _c28779
_d28779