000 00391nam a2200157Ia 4500
005 20250423095640.0
008 250422s9999 xx 000 0 und d
020 _a0-521-44663-5
050 _aQA 9 .V38/
100 _aVelleman, Daniel J.
245 0 _aHow to prove it : a structured approach
260 _bCambridge University Press
260 _c1994
300 _a309 p
942 _cBK
999 _c30911
_d30911