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

87.452я43 С 30	Статья (мон)
Габбай Д. М. Семантика типа Монтегю для модальных логик с пропозиционными кванторами / Габбай Д. М.; перевод А. А. Мучника // Семантика модальных и интенсиональных логик. - Москва, 1981. - С. 318-324. Отраслевые рубрики: логика, философские науки Ключевые слова: доказательства, индукция, леммы, модальная логика, модальные исчисления, модальные системы, пропозициональные кванторы, семантика, теоремы, формула Баркан Персоналии: Монтегю Уильям Пепперелл		отобрать

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

Назад