How to prove it : a structured approach - Velleman, Daniel J. (Cambridge : Cambridge University Press, 1994)
Bibliography : p. 304.
Keywords: Logic, Symbolic and mathematical; Mathematics