Vellem, Daniel J. How To Prove It A Structured Approach / Daniel J. Velleman. - New York : Cambridge University , 2006. - xiii, 384 p. : Includes index ISBN: 9780521675994 Subjects--Topical Terms: Logic Symbolic and mathematical LC Class. No.: QA 9 .V38 2006