Математическая логика
Синтаксические структуры естественного языка и автоматизированных системах общения