How to prove it a structured approach

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