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