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