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