How to prove it a structured approach

Bibliographic Details
Main Author:	Velleman, Daniel J.
Format:	Book
Published:	Cambridge [England], New York Cambridge University Press 1994.
Subjects:	Logic, Symbolic and mathematical. Mathematics.