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