Logiczne podstawy gramatyk kategorialnych Ajdukiewicza-Lambeka | lit.salon