LOGIC AND PROOF - Bittinger, Marvin L. (Addison-Wesley Publishing Company, 1970)