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