| Найдено документов - 1 | Профессиональный поиск | Версия для печати |
Сортировать по:
1. Статья (мон.)
Полочный шифр: 87.452я43 - С 30
Габбай, Д. М.
Семантика типа Монтегю для модальных логик с пропозиционными кванторами / Д. М. Габбай ; перевод А. А. Мучника
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 318-324.
Семантика типа Монтегю для модальных логик с пропозиционными кванторами / Д. М. Габбай ; перевод А. А. Мучника
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 318-324.
URL биб.описания: https://lib.uni-dubna.ru/MegaPro_new/UserEntry?Action=FindDocs&ids=13959&idb=ec_110
Подробнее
Авторы: Габбай Д. М.
Отраслевые рубрики: логика, философские науки
Ключевые слова: доказательства, индукция, леммы, модальная логика, модальные исчисления, модальные системы, пропозициональные кванторы, семантика, теоремы, формула Баркан
Персоналии: Монтегю Уильям Пепперелл
Индексы ББК: 87.4, 87.41, 87.43, 87.44
Представления: Формат MARC21