Vellem, Daniel J.

How To Prove It A Structured Approach / Daniel J. Velleman. - New York : Cambridge University , 2006. - xiii, 384 p. :

Includes index

9780521675994


Logic Symbolic and mathematical

QA 9 .V38 2006