| Книга | Страницы для поиска |
| ван дер Варден Б.Л. — Алгебра | 26 |
| Зорич В.А. — Математический анализ (том 1) | 20, 22 |
| Арбиб М.А. — Алгебраическая теория автоматов, языков и полугрупп | 15 |
| Мендельсон Э. — Введение в математическую логику | 13, 184 |
| Келли Дж.Л. — Общая топология | 23 |
| Липский В. — Комбинаторика для программистов | 6 |
| Новиков Ф.А. — Дискретная математика для программистов | 36 |
| Оре О. — Теория графов | 26, 242 |
| Куратовский К. — Топология (том 1) | 18 |
| Свами М., Тхуласираман К. — Графы, сети и алгоритмы | 84 |
| Биркгоф Г., Барти Т. — Современная прикладная алгебра | 44 |
| Антоневич А.Б., Князев П.Н., Радыно Я.В. — Задачи и упражнения по функциональному анализу | 6 |
| Куратовский К., Мостовский А. — Теория множеств | 17 |
| Клиффорд А., Престон Г. — Алгебраическая теория полугрупп. Том 1 | 32 |
| Цаленко М.Ш., Шульгейфер Е.Г. — Основы теории категорий | 240 |
| Антоневич А.Б., Радыно Я.В. — Функциональный анализ и интегральные уравнения | 7 |
| Ершов Ю.Л., Палютин Е.А. — Математическая логика | 67 |
| Горбатов В.А. — Фундаментальные основы дискретной математики. Информационная математика | 24 |
| Кук Д., Бейз Г. — Компьютерная математика | 43 |
| Брауэр В. — Введение в теорию конечных автоматов | 20 |
| Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики | 8 |
| Артамонов В.А., Салий В.Н., Скорняков Л.А. — Общая алгебра (том 2) | 423 |
| Фейс К. — Алгебра: кольца, модули и категории (том 1) | 47 |
| Скорняков Л.А. (ред.) — Общая алгебра (том 1) | 23 |
| Шиханович Ю.А. — Введение в современную математику. Начальные понятия | 246 |
| Феферман С. — Числовые системы. Основания алгебры и анализа | 56 |
| Александрян Р.А., Мирзаханян Е.А. — Общая топология | 318 |
| Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 32 |
| Нечаев В.И. — Числовые системы | 13 |
| Зорич В.А. — Математический анализ (Часть 1) | 24, 27 |
| Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 31 |
| Гладкий А.В. — Математическая логика | 421 |
| Виноградов И.М. — Математическая энциклопедия. Предметный указатель | V—412 |
| Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов | 20 |
| Беран Л. — Упорядоченные множества | 11 |
| Вопенка П. — Альтернативная теория множеств. Новый взгляд на бесконечность | 68 |
| Робертс Ф.С. — Дискретные математические модели с приложениями к социальным, биологическим и экологическим задачам | 414 |
| Глухов М.М., Елизаров В.П., Нечаев А.А. — Алгебра (Том 1) | 30 |
| Касьянов В.Н. — Оптимизирующие преобразования программ | 9 |
| Акилов Г.П., Дятлов В.Н., Решетняк Ю.Г. (ред.) — Основы математического анализа | 58 |
| Карнап Р. — Философские основания физики | 102 |
| Шрейдер Ю.А. — Равенство, сходство, порядок | 40 |
| Пизо Ш., Заманский М. — Курс математики. Алгебра и анализ | 28 |
| Макаров И.М., Виноградская Т.М., Рубчинский А.А. — Теория выбора и принятия решений | 25 |
| Донеддю А. — Евклидова планиметрия | 18 |
| Шерстнев А.Н. — Конспект лекций по математическому анализу | 441 |
| Калбертсон Дж.Т. — Математика и логика цифровых устройств | 139 |
| Зуланке Р., Онищик А.Л. — Алгебра и геометрия: том 1. Введение | 20 |
| Романовский И.В. — Дискретный анализ | 178 |
| Кейслер Г., Чэн Ч.Ч. — Теория моделей | 552 |
| Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию | 44, 101 |
| Варпаховский Ф.Л., Солодовников А.С. — Алгебра | 20 |
| Березовский Б.А., Бораенко В.И., Кемпнер Л.М. — Бинарные отношения и многокритериальной оптимизации | 7 |
| Судоплатов С.В., Овчинникова Е.В. — Элементы дискретной математики | 33 |
| Хаггарти Р. — Дискретная математика для программистов | 73 |
| Мендельсон Э. — Введение в математическую логику | 13, 189 |
| Ершов Ю.Л., Палютин Е.А. — Математическая логика: Учеб. пособие для вузов | 67 |
| Хаггарти Р. — Дискретная математика для программистов | 73 |
| Биркгоф Г., Барти Т. — Современная прикладная алгебра | 44 |
|
|
О проекте