| Найдено документов - 1 | Выборка документов | Версия для печати |
Сортировать по:
1. Книга
Полочный шифр: 87.458.33 - Ф 368
Фейс, Р.
Модальная логика / Р. Фейс ; перевод с английского Ю. А. Петрова; редактор перевода Г. Е. Минц. — Москва : Наука. Главная редакция физико-математической литературы, 1974. — 520 с. — (Математическая логика и основания математики). — Лит.: с. 501. - Имен. указ.: с. 510. - Предм. указ.: с. 514.
Модальная логика / Р. Фейс ; перевод с английского Ю. А. Петрова; редактор перевода Г. Е. Минц. — Москва : Наука. Главная редакция физико-математической литературы, 1974. — 520 с. — (Математическая логика и основания математики). — Лит.: с. 501. - Имен. указ.: с. 510. - Предм. указ.: с. 514.
Экземпляры: Всего: 1, из них: аб.-1 в наличии 1
Подробнее
Авторы: Фейс Р.
Отраслевые рубрики: филологические науки, языкознание, общее языкознание, логика
Ключевые слова: абстракция, Беккера правило, Бета-Крипке модели, дедуктивный метод, импликация, логика предикатов, модальная логика, модальность, модальные высказывания, модальные исчисления высказыванимй, модели Крипке, погружение систем, предикаты, равенство, свойство Холдена, семантический анализ, системы Льюиса, теорема полноты, формальная импликация
Индексы ББК: 87.458.33, 87.228.1, 81.031, 81.02, 81.032.3, 81.07, 83.01, 87.4, 87.2, 87.224.2
Представления: Формат MARC21