Velleman, Daniel J. How to prove it : a structured approach / Daniel J. Velleman. - Cambridge ; New York : Cambridge University Press, 2006. - xiii, 384 p. : ill. ; Subjects--Topical Terms: Logic, Symbolic and mathematical.Mathematics. Universal Decimal Class. No.: 510.6 / VEL