-М.: ВИНИТИ, 1985. 155 с. Краткое содержание:
Брудно В. А., Скворцов Д. П., Финн В. К., Цаленко В. Ш. Базы данных с неполной информацией;
Непейвода Н. Н. О формализации неформализуемых понятий: автопродуктивные системы теорий;
Ермолаева Н. М., Мучник А. А. Функциональная представимость в некоторых табличных модальных логиках;
Минц Г. Е. Исчисления резолюций для неклассических логик;
Тоом А. Л. Рефлексия в художественной прозе: разбор романа М. Ю. Лермонтова "Герой нашего времени".
Брудно В. А., Скворцов Д. П., Финн В. К., Цаленко В. Ш. Базы данных с неполной информацией;
Непейвода Н. Н. О формализации неформализуемых понятий: автопродуктивные системы теорий;
Ермолаева Н. М., Мучник А. А. Функциональная представимость в некоторых табличных модальных логиках;
Минц Г. Е. Исчисления резолюций для неклассических логик;
Тоом А. Л. Рефлексия в художественной прозе: разбор романа М. Ю. Лермонтова "Герой нашего времени".