00717nam a2200241Ia 4500 190476 BIBL 20160527191636.0 930526s1994 enk b 000 0 eng 93014567 0521441161 UCGG QA9 .V38 1994 511.3 20 511.3 V Velleman, Daniel J. Local 184919 How to prove it a structured approach Daniel J. Velleman. Cambridge [England] New York Cambridge University 1994. 304 p. Includes bibliographical references. Logic, Symbolic and mathematical Local 127231 Mathematics Local 132758 144703 144703 0 0 0 511_300000000000000_V439H 0 evl 151683 10 10 1 2016-05-27 280170 2 511.3 V439h 80000001790149 2016-07-26 00:00:00 2016-07-26 r:190476 z:NCC:D 6