Elements of formal logic - Kretzmann, Norman (Bobbs-Merrill, 1965)