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