Beginning logic - Lemmon, E. J. (Thomas Nelson, 1977)