Beginning logic - Lemmon, Edward J. 1930-1966 (Van Nostrand Reinhold, 1984)