HOW TO PROVE IT - Velleman,Daniel J. (Cambridge Univ. Press, Cambridge, 1994)
Includes Bibliographical References
Keywords: Logic,Symbolic And Mathematical; Mathematics