В. Борщевский

В мае 1976 года исполняется 200 лет со дня основания Днепропетровска. История основания города, участие днепропетровцев в революционной борьбе и социалистическом строительстве, героическая борьба во время Великой Отечественной войны, экономическое и культурное развитие города в послевоенный период, достижения производственных коллективов в решении грандиозных задач, поставленных XXV съездом Коммун...

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