Logic and Proof - Bittinger, Marvin L. (Addison-Wesley, 1970)