00616nam a2200205Ia 4500001000700000003000500007005001700012008004100029010001500070020001500085050001900100082001400119100003100133245006400164260006300228300001100291504004100302650004400343650002300387190476BIBL20160527191636.0930526s1994    enk      b    000 0 eng    a 93014567   a052144116100aQA9b.V38 199400a511.32201 aVelleman, Daniel J.2Local10aHow to prove itba structured approachcDaniel J. Velleman.  aCambridge [England]aNew YorkbCambridge Universityc1994.  a304 p.  aIncludes bibliographical references. 0aLogic, Symbolic and mathematical2Local 0aMathematics2Local