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