How to prove it a structured approach.

Bibliographic Details
Main Author:	Velleman, Daniel J.
Format:	Book
Language:	English
Published:	Cambridge Cambridge University Press c1994.
Subjects:	Mathematics. Logic, Symbolic and mathematical.