Logic techniques of formal reasoning - Kalish, Donald; Montague, R. (1954)