Logic techniques of formal reasoning - Kalish, Donald; Montague, Richard (New York Harcourt, Brace & World, 1964)
Keywords: Logic