How to prove it : a structured approach /
Velleman, Daniel J.
Cambridge : Cambridge University Press,
1994.
Includes bibliographical references
Logic, Symbolic and mathematical.
Mathematics.