Библиотека БГПУ

Главная

Упрощенный режим

Описание

Базы данных

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

Вид поиска

Книги

Периодические издания

Выпускные квалификационные работы

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Поисковый запрос: <.>K=модальные логики<.>

Общее количество найденных документов : 1

22.122
И 88

Исследования по неклассическим логикам и формальным системам [Текст] / Гос. комитет Совета министров СССР по науке и технике, АН СССР; Всесоюзный ин-т науч. и технической информации ; ред. А. И. Михайлов. - М. : Наука, 1983. - 360 с. - 2.00 р.

ББК 22.122
Рубрики: Математика
Кл.слова (ненормированные):
теория множеств -- формальные системы -- интуиционистские теории -- интуиционистские модели -- модальные логики -- многозначные логики

Доп.точки доступа:
Михайлов, А.И. \ред.\; Гос. комитет Совета министров СССР по науке и технике. АН СССР; Всесоюзный ин-т науч. и технической информации
Экземпляры всего: 1
Ч.з.1 (1)
Свободны: Ч.з.1 (1)
Найти похожие

Тематический навигатор

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)