Библиографическое описание

87.452я43 С 30	Статья (мон)
Файн К. Пропозициональные кванторы в модальной логике / Файн К.; перевод З. С. Сокулер // Семантика модальных и интенсиональных логик. - Москва, 1981. - С. 212-222. Отраслевые рубрики: логика, философские науки Ключевые слова: аксиоматизируемость, булевы аналогии, комбинаторная логика, модальная логика, переменные, предикатные аналогии, пропозициональные кванторы, разрешимость, семантика, суждение		отобрать

87.452я43 испр.
С 30
Семантика модальных и интенсиональных логик / Крипке С. А., Хинтикка Я., Прайор А. Н. и др.; составление, общая редакция, вступительная статья В. А. Смирнова; перевод с английского А. А. Мучника, А. П. Никифорова, З. А. Сокулер. - Москва: Прогресс, 1981. - 424 с. [подробнее]

Назад