Сводный каталог книг

[Текст] : Учебное пособие / Е.Д. Смирнова. - Москва : Высшая школа, 1990. - 144 с. - Библиогр.: с.140-142. - ISBN 5-06-001495-9 : 0.35 р.
Аннотация: В книге дан анализ семантических антиномий и методов их устранения. Единым методом доказаны так называемые теоремы об ограниченностях формализмов, сжато изложены результаты теории моделей. Специальные разделы посвящены семантике возможных миров и анализ интенсивных контекстов.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)