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