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