How to prove it a structured approach

Bibliographic Details
Main Author:	Velleman, Daniel J. (Author)
Format:	Book
Language:	English
Published:	Cambridge Cambridge University Press 2006.
Edition:	Second edition.
Subjects:	Logic, Symbolic and mathematical. Mathematics.