| Книга | Страницы для поиска |
| ван дер Варден Б.Л. — Алгебра | 237 |
| Биркгоф Г. — Теория решеток | 11 |
| Ленг С. — Алгебра | 13 |
| Келли Дж.Л. — Общая топология | 31 |
| Кутателадзе С.С. — Основы функционального анализа | 1.2.2 |
| Колмогоров А.Н., Фомин С.В. — Элементы теории функций и функционального анализа | 33 |
| Оре О. — Теория графов | 29 |
| Хаусдорф Ф. — Теория множеств | 43 |
| Люстерник Л.А., Соболев В.И. — Элементы функционального анализа | 13 |
| Айгнер М. — Комбинаторная теория | 14 |
| Лазакович Н.В., Сташуленок С.П., Яблонский О.Л. — Курс теории вероятностей | 26 |
| Интрилигатор М. — Математические методы оптимизации и экономическая теория | 224 |
| Антоневич А.Б., Князев П.Н., Радыно Я.В. — Задачи и упражнения по функциональному анализу | 7 |
| Куратовский К., Мостовский А. — Теория множеств | 87 |
| Йех Т. — Теория множеств и метод форсинга | 12 |
| Антоневич А.Б., Радыно Я.В. — Функциональный анализ и интегральные уравнения | 7 |
| Кутателадзе С.С. — Основы функционального анализа | 1.2.2 |
| Александров П.С. — Введение в теорию множеств и общую топологию | 24 |
| Кофман А., Анри-Лабордер А. — Методы и модели исследования операций. (том 3) Целочисленное программирование. | 183, 197 |
| Канторович Л.В., Акилов Г.П. — Функциональный анализ | 15 |
| Наймарк М.А. — Теория представлений групп | 408 |
| Садовничий В.А. — Теория операторов | 18 |
| Брауэр В. — Введение в теорию конечных автоматов | 21 |
| Попов Э.В. — Общение с ЭВМ на естественном языке | 138 |
| Пиотровский Р.Г., Бектаев К.Б., Пиотровская А.А. — Математическая лингвистика | 16 |
| Кон П. — Универсальная алгебра | 23 |
| Бэр Р. — Линейная алгебра и проективная геометрия | 385 |
| Белоусов А.И., Ткачев С.Б. — Дискретная математика | 75 |
| Гильберт Д., Аккерман В. — Основы теоретической логики | 182 |
| Гончаров С.С. — Счетные булевы алгебры и разрешимость | 16, 62 |
| Хелгасон С. — Дифференциальная геометрия и симметрические пространства | 168 |
| Александрян Р.А., Мирзаханян Е.А. — Общая топология | 322 |
| Каток А.Б., Хасселблат Б. — Введение в современную теорию динамических систем | 428 |
| Новиков П.С. — Элементы математической логики | 138 |
| Пфанцагль И. — Теория измерений | 26 |
| Нечаев В.И. — Числовые системы | 78 |
| Гладкий А.В. — Математическая логика | 425 |
| Шилов Г.Е. — Математический анализ. Специальный курс | 420 |
| Виноградов И.М. — Математическая энциклопедия. Предметный указатель | V—527 |
| Беран Л. — Упорядоченные множества | 12 |
| Садовничий В.А. — Теория операторов | 15 |
| Ростовцев А.Г., Маховенко Е.Б. — Теоретическая криптография | 50 |
| Ван-дер-Варден Б.Л. — Современная алгебра. Часть 1 | 325 |
| Лефшец С., Шур-Бур М.Р. (пер.) — Алгебраическая топология | 15 |
| Мишина А.П., Проскуряков И.В. — Высшая алгебра | 282 |
| Шефер Х. — Топологические векторные пространства | 11 |
| Ноден П., Китте К. — Алгебраическая алгоритмика | 105 |
| Курош А.Г. — Лекции по общей алгебре | 19 |
| Сенашов В.И. — Слойно конечные группы | 10 |
| Шрейдер Ю.А. — Равенство, сходство, порядок | 120 |
| Кусраев А.Г., Кутателадзе С.С. — Нестандартные методы анализа | II.1.1.1 |
| Гаек П., Гавранек Т. — Автоматическое образование гипотез | 32 |
| Акилов Г.П., Кутателадзе С.С., Булавский В.А. (ред.) — Упорядоченные векторные пространства | 21 |
| Александров П.С., Колмогоров А.Н. — Введение в теорию функций действительного переменного | 27, 36, 40, 42 |
| Шерстнев А.Н. — Конспект лекций по математическому анализу | 442 |
| Зуланке Р., Онищик А.Л. — Алгебра и геометрия: том 1. Введение | 19 |
| Шиханович Ю.А. — Группы, кольца, решетки | 233, 340 |
| Рывкин А.А., Рывкин А.З., Хренов Л.С. — Справочник по математике: справочное пособие для учащихся средних специальных учебных заведений и поступающих в вузы | 16 |
| Богачев В.И., Смолянов О.Г. — Действительный и функциональный анализ. Университетский курс | 14, 15, 237 |
| Райков Д.А. — Векторные пространства | 7 |
| Баранов В.И., Стечкин Б.С. — Экстремальные комбинаторные задачи и их приложения | 36 |
| Коршунов Ю.М. — Математические основы кибернетики | 23, 42 |
| Новиков П.С. — Элементы математической логики | 138 |
| Ершов А.П. — Введение в теоретическое программирование. Беседы о методе | 57 |
|
|
О проекте