000 00532pam a2200193a 44500
008 160408b1994 xxu||||| |||| 00| 0 eng d
020 _a0521446635
082 _a511.3
_bV545H
100 _aVelleman,Daniel J.
245 1 _aHOW TO PROVE IT
_cA STRUCTURED APPROACH
260 _a
_bCambridge Univ. Press, Cambridge
_c1994
300 _aix,309
500 _aIncludes Bibliographical References
650 _aLogic,Symbolic And Mathematical
650 _aMathematics
964 _gCIRC
997 _aA118945 C
999 _c322577
_d322577
942 0 0 _01