| Книга | Страницы для поиска |
| ван дер Варден Б.Л. — Алгебра | 26 |
| Зорич В.А. — Математический анализ (том 1) | 20 |
| Арбиб М.А. — Алгебраическая теория автоматов, языков и полугрупп | 15 |
| Мендельсон Э. — Введение в математическую логику | 13 |
| Келли Дж.Л. — Общая топология | 23 |
| Кутателадзе С.С. — Основы функционального анализа | 1.2.1 |
| Липский В. — Комбинаторика для программистов | 6 |
| Новиков Ф.А. — Дискретная математика для программистов | 36 |
| Куратовский К. — Топология (том 1) | 18 |
| Свами М., Тхуласираман К. — Графы, сети и алгоритмы | 84 |
| Биркгоф Г., Барти Т. — Современная прикладная алгебра | 44 |
| Антоневич А.Б., Князев П.Н., Радыно Я.В. — Задачи и упражнения по функциональному анализу | 6 |
| Клиффорд А., Престон Г. — Алгебраическая теория полугрупп. Том 1 | 32 |
| Цаленко М.Ш., Шульгейфер Е.Г. — Основы теории категорий | 240 |
| Антоневич А.Б., Радыно Я.В. — Функциональный анализ и интегральные уравнения | 7 |
| Кутателадзе С.С. — Основы функционального анализа | 1.2.1 |
| Ершов Ю.Л., Палютин Е.А. — Математическая логика | 67 |
| Горбатов В.А. — Фундаментальные основы дискретной математики. Информационная математика | 24 |
| Кук Д., Бейз Г. — Компьютерная математика | 43 |
| Брауэр В. — Введение в теорию конечных автоматов | 20 |
| Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики | 8 |
| Фейс К. — Алгебра: кольца, модули и категории (том 1) | 47 |
| Скорняков Л.А. (ред.) — Общая алгебра (том 1) | 23 |
| Шиханович Ю.А. — Введение в современную математику. Начальные понятия | 245 |
| Феферман С. — Числовые системы. Основания алгебры и анализа | 56 |
| Александрян Р.А., Мирзаханян Е.А. — Общая топология | 318 |
| Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 32 |
| Подиновский В.В., Ногин В.Д. — Парето-оптимальные решения многокритериальных задач | 16 |
| Нечаев В.И. — Числовые системы | 13 |
| Зорич В.А. — Математический анализ (Часть 1) | 24 |
| Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 31 |
| Гладкий А.В. — Математическая логика | 421 |
| Виноградов И.М. — Математическая энциклопедия. Предметный указатель | IV—1149 |
| Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов | 20 |
| Беран Л. — Упорядоченные множества | 12 |
| Вопенка П. — Альтернативная теория множеств. Новый взгляд на бесконечность | 68 |
| Робертс Ф.С. — Дискретные математические модели с приложениями к социальным, биологическим и экологическим задачам | 414 |
| Глухов М.М., Елизаров В.П., Нечаев А.А. — Алгебра (Том 1) | 30 |
| Дубов Ю.А., Травкин С.И., Якимец В.Н. — Многокритериальные модели формирования и выбора вариантов систем | 48 |
| Касьянов В.Н. — Оптимизирующие преобразования программ | 9 |
| Акилов Г.П., Дятлов В.Н., Решетняк Ю.Г. (ред.) — Основы математического анализа | 58 |
| Карнап Р. — Философские основания физики | 102 |
| Шрейдер Ю.А. — Равенство, сходство, порядок | 39 |
| Пизо Ш., Заманский М. — Курс математики. Алгебра и анализ | 28 |
| Макаров И.М., Виноградская Т.М., Рубчинский А.А. — Теория выбора и принятия решений | 24 |
| Донеддю А. — Евклидова планиметрия | 18 |
| Шерстнев А.Н. — Конспект лекций по математическому анализу | 441 |
| Зуланке Р., Онищик А.Л. — Алгебра и геометрия: том 1. Введение | 20 |
| Романовский И.В. — Дискретный анализ | 178 |
| Кейслер Г., Чэн Ч.Ч. — Теория моделей | 552 |
| Варпаховский Ф.Л., Солодовников А.С. — Алгебра | 20 |
| Березовский Б.А., Бораенко В.И., Кемпнер Л.М. — Бинарные отношения и многокритериальной оптимизации | 8 |
| Судоплатов С.В., Овчинникова Е.В. — Элементы дискретной математики | 33 |
| Седжвик Р. — Фундаментальные алгоритмы на C++. Часть 5. Алгоритмы на графах | 190 |
| Хаггарти Р. — Дискретная математика для программистов | 73 |
| Мендельсон Э. — Введение в математическую логику | 13 |
| Ершов Ю.Л., Палютин Е.А. — Математическая логика: Учеб. пособие для вузов | 67 |
| Ершов А.П. — Введение в теоретическое программирование. Беседы о методе | 61 |
| Хаггарти Р. — Дискретная математика для программистов | 73 |
| Биркгоф Г., Барти Т. — Современная прикладная алгебра | 44 |