Logic techniques of formal reasoning - Kalish, Donald; Montague, Richard (New York, New York : Harcourt Brace and World, 1964)
Keywords: LOGICA, SIMBOLICA Y MATEMATICA