Logic and the formal theory of natural language - Petöfi, János S. (1978)