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