Logic techniques of formal reasoning - Kalish, Donald (Harcourt Brace and World, 1964)