Казань, 2003. 58 с.
Курс лекций по логической семантике, прочитанный в Казанском университете в 2003 г. Содержит элементарное изложение методов, средств и проблем описания семантики естественных языков.Какие семантики бывают. Исчисление предикатов как прототипический пример формального языка. Формальная семантика. Интенсиональная логика. Типы. Лямбда и конструкции с лямбдой. Семантика Монтегю для именных групп. Превые шаги к интеграции формальной и лексической семантики. Семантика генитивной конструкции, типы и сорта.
