How to prove it a structured approach - Velleman, Daniel J. (Cambridge [England] New York Cambridge University Press, 1994)
Includes bibliographical references (p. 304) and index.
Keywords: Logic, Symbolic and mathematical; Mathematics