Title: Logiczne podstawy gramatyk kategorialnych Ajdukiewicza-Lambeka
Subjects: Categorical grammar, Symbolic and mathematical Logic
People: Joachim Lambek