Velleman, Daniel J. How to prove it: a structured approach/ Daniel J. Velleman. - 2nd ed. - Cambridge; New York: Cambridge University Press, 2006. - xiii, 384 p.: ill.; 24 cm. Includes bibliographical references (p. 375) and index. ISBN: 0521861241 0521675995 (pbk.) 9780521861243 9780521675994 (pbk.) LCCN: 2005029447 Nat. Bib. No.: GBA597006 bnb Subjects--Topical Terms: Logic, Symbolic and mathematical.Mathematics.Logique symbolique et mathématique. Dewey Class. No.: 510.7 / V439h