000			00494nam a2200169Ia 4500
008			161214s9999 xx 000 0 und d
020			_a0521675995 _c(pbk)
082			_223 _a511.3 _bVEL
100			_aVelleman, Daniel J.
245		0	_aHow to prove it : a structured approach
250			_a2nd ed.
260			_aCambridge: _bCambridge University Press, _c2006
300			_axiii, 384 p.; _bill.: _c23 cm.
650			_aLogic, Symbolic and mathematical
650			_aMathematics
942			_2ddc _cBK
999			_c3057 _d3057