Beginning logic - Lemmon, Edward J. 1930-1966 (Nelson, 1965)