How to prove it. A structured approach. - Velleman, Daniel J (Cambridge University Press, 2006)