Главная Упрощенный режим Описание
Авторизация
Фамилия
Пароль
 

Базы данных


Книги- результаты поиска

Вид поиска
Книги
Авторефераты
Аудиовизуальный фонд
Фонд редкой книги
Труды преподавателей
Периодические издания
Выпускные квалификационные работы
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: <.>K=формализация логики<.>
Общее количество найденных документов : 1
1.
87.4
С 50

    Смирнова, Е. Д.
    Основы логической семантики [Текст] : учеб. пособие / Е. Д. Смирнова. - М. : Высш. шк., 1990. - 143, [1] с. - ISBN 5-06-001495-9 : 0.35 р.
ББК 87.4
Рубрики: Логика
Кл.слова (ненормированные):
предмет и задачи логической семантики -- формализация логики -- теории моделей -- семантика возможных миров -- анализ интенсивных контекстов

Экземпляры всего: 1
Аб.2 (1)
Свободны: Аб.2 (1)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)