Velleman Daniel J. - _How To Prove It A Structured Approach / Daniel J. Velleman - New York : Cambridge University , 2006 Includes index ISBN: 9.780521676e+012 Subjects--Topical Terms: _Logic Symbolic and mathematical LC Class. No.: QA 9 .V38 2006