Beginning logic - E.J. Lemmon (Van Nostrand Reinhold SUK] Co. Ltd., 1987)