Velleman Daniel J. - _How To Prove It A Structured Approach / Daniel J. Velleman - New York : Cambridge University , 2006

Includes index

9.780521676e+012


_Logic Symbolic and mathematical

QA 9 .V38 2006