Главная Список новых поступлений On-line издательства, журналы (ENG)
Авторизация
Фамилия / Логин
Идентификатор / Пароль
 

Базы данных


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

Вид поиска
Электронные ресурсы Иркутского научного центра
Отечественные книги
CD-Rom
Авторефераты
Диссертации
Иностранные журналы
Отечественные журналы
Географические карты
Сводный каталог книг библиотек ИНЦ
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=математическая логика<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.
   З 81
   Л 36

    Левин, Виталий Ильич.
    Структурно-логические методы исследования сложных систем с применением ЭВМ / В. И. Левин. - М. : Наука. Гл. ред. физ. - мат. лит. , 1987. - 304 с. - (Теория и методы системного анализа). - Библиогр.: с. 302 - 304. - 2.90
ГРНТИ
28.29
ББК З 812
Рубрики: математическая логика
   кибернетика
Кл.слова (ненормированные):
сложные системы -- исследования -- логические основы -- математические методы -- математическая логика

Держатели документа:
ИСЭМ
Имеются экземпляры в отделах:
ХР Инв.36382 (свободен)

Найти похожие
2.
   В1
   М 29

    Мартин-Лёф, Пер.
    Очерки по конструктивной математике : пер. с англ. / П. Мартин-Лёф ; пер. Г. Е. Минц ; ред. пер. А. Г. Драгалин. - Москва : Мир, 1975. - 136 с. : граф. - Библиогр.: с. 128 - 131. - Указ.: с. 132 - 134. - Пер. изд. : Notes on constructive mathemanics / P. Martin-Lof. - (.) : 0.40
ГРНТИ
27.03
ББК В1 + В16
Рубрики: Математическая логика
Кл.слова (ненормированные):
конструктивная математика

Держатели документа:
ИСЭМ

Доп.точки доступа:
Минц, Г. Е. \пер.\; Драгалин, А. Г. \ред. пер.\; Martin-Lof, P.
Имеются экземпляры в отделах:
ХР Инв.б/н (свободен)

Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
ГРНТИ-навигатор
© Иркутский научный центр Сибирского отделения РАН