Beginning logic - Lemmon, E. J. (Edward John) (Van Nostrand Reinhold, 1987)