Beginning logic - Lemmon, E. J. (Edward John) (Nelson, 1971)