000 00372nam a2200133Ia 4500
008 220718s1994||||xx |||||||||||||| ||und||
020 _a9780521446631
082 _a1.01+18+19
_bVELL
100 1 _aVelleman, D.J
245 1 _aHow to prove it
_bstructured approach
_cD.J. Velleman
260 _aCambridge
_bCambridge University Press
_c1994
300 _aix
_e309
942 _cBK
999 _c20577
_d20577