Главная Упрощенный режим

Базы данных


Основная библиотечная БД - результаты поиска

Вид поиска

Область поиска
 Найдено в других БД:Труды учёных ПГНИУ (4)
Формат представления найденных документов:
полныйинформационный краткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>U=517.11<.>)
Общее количество найденных документов : 9
Показаны документы с 1 по 9
1.

Мартин-Лёф П. Очерки по конструктивной математике/П. Мартин-Лёф ; пер. с англ., авт. предисл. Г. Е. Минц, ред. А. Г. Драгалин. - 1975
2.

Актуальные вопросы математической логики и теории множеств/М-во просвещения РСФСР, Московский гос. пед. ин-т, Каф. мат. анализа. - 1975
3.

Цирулис, Ян Петрович Лекции по математической логике и теории множеств. Ч. 2:Теория множеств. - 1975
4.

Мендельсон Э. Введение в математическую логику/Э. Мендельсон ; пер. с англ. Ф. А. Кабаков ; ред. С. И. Адян. - 1976
5.

Гильберт Д. Основания математики. Логические исчисления и формализация арифметики/Д. Гильберт, П. Бернайс ; пер. Н. М. Нагорный ; ред. С. И. Адян. - 1982
6.

Гильберт Д. Основания математики. Теория доказательств/Д. Гильберт, П. Бернайс ; пер. с нем. Н. М. Нагорный ; ред. С. И. Адян. - 1982
7.

Гилмор, Роберт Прикладная теория катастроф. Т. 2. - 1984
8.

Гиль М. И. Операторные функции дифференциальные уравнения и динамика систем/М. И. Гиль ; ред. Р. И. Трухаев. - 1984
9.

Гилмор, Роберт Прикладная теория катастроф. Т. 1. - 1984
 
Статистика
за 03.07.2024
Число запросов 18233
Число посетителей 391
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)