The structure of proof : with logic and set theory - O'Leary, Michael L. (Prentice Hall, 2002)