Logic and the formal theory of natural language. Selective bibliography - Petöfi, János S.