Techniques of Formal Reasoning - KALISH, Donald; Montague, Richard (New York Harcourt Brace Jovanovich, 1980)