Выбор БД
Тип поиска
Вернуться на старый сайт
Сортировать по:
1. Статья (мон.)
bookCover
Полочный шифр: 87.452я43 - С 30
Габбай, Д. М.
Семантика типа Монтегю для модальных логик с пропозиционными кванторами / Д. М. Габбай ; перевод А. А. Мучника
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 318-324.
Подробнее
Авторы: Габбай Д. М.
Отраслевые рубрики: логика, философские науки
Ключевые слова: доказательства, индукция, леммы, модальная логика, модальные исчисления, модальные системы, пропозициональные кванторы, семантика, теоремы, формула Баркан
Персоналии: Монтегю Уильям Пепперелл
Индексы ББК: 87.4, 87.41, 87.43, 87.44
Представления: Формат MARC21