Logic: techniques of formal reasoning. - Kalish Donold; Montague Richard (New York Harcourt Brace and world Inc., 1964)