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