| Книга | Страницы для поиска |
| Вирт Н. — Алгоритмы и структуры данных | 37 |
| Гелбаум Б., Олмстед Дж. — Контрпримеры в анализе | 12 |
| Барендрегт Х. — Ламбда-исчисление. Его синтаксис и семантика | 119 |
| Арбиб М.А. — Алгебраическая теория автоматов, языков и полугрупп | 18 |
| Мендельсон Э. — Введение в математическую логику | 12, 184, 220 |
| Рид М., Саймон Б. — Методы современной математической физики. Том 1: Функциональный анализ | 13 |
| Кострикин А.И. — Введение в алгебру. Основы алгебры. | 41 |
| Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ | 1206 |
| Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ | 81 |
| Постников М.М. — Лекции по геометрии. Семестр III. Гладкие многообразия. | 138 |
| Люмис Л. — Введение в абстрактный гармонический анализ | 19 |
| Биркгоф Г., Барти Т. — Современная прикладная алгебра | 26, 45, 69 |
| Куратовский К., Мостовский А. — Теория множеств | 142 |
| Ершов Ю.Л., Палютин Е.А. — Математическая логика | 66 |
| Мальцев А.И. — Алгоритмы и рекурсивные функции | 19 |
| Шутц Б. — Геометрические методы математической физики | 55 |
| Хартсхорн Р. — Алгебраическая геометрия | 167 |
| Холл М. — Теория групп | 43 |
| Магнус Я.Р., Нейдекер Х. — Матричное дифференциальное исчисление с приложениями к статистике и эконометрике | 22 |
| Кострикин А.И. — Введение в алгебру (Часть I. Основы алгебры) | 35 |
| Ахо А.В., Сети Р., Ульман Д.Д. — Компиляторы: принципы, технологии и инструменты | 338 |
| Вирт Н. — Алгоритмы + структуры данных = программы | 31 |
| Копытов В.М. — Решеточно упорядоченные группы | 15, 34 |
| Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. — Алгебра. Языки. Программирование | 21 |
| Кон П. — Универсальная алгебра | 16, 21 |
| Смальян Р. — Теория формальных систем | 46 |
| Шиханович Ю.А. — Введение в современную математику. Начальные понятия | 360 |
| Бёрке У. — Пространство-время, геометрия, космология | 164 |
| Постон Т., Стюарт И. — Теория катастроф и ее приложения | 29 |
| Гордон Е.И., Кусраев А.Г., Кутателадзе С.С. — Инфинитезимальный анализ | 52 |
| Нейман Х. — Многообразия групп | 29 |
| Гладкий А.В. — Математическая логика | 32 |
| Данфорд Н., Шварц Дж.Т. — Линейные операторы (том 1) Общая теория. | см. «Прямое произведение» |
| Бронштейн И.Н., Семендяев К.А. — Справочник по математике для инженеров и учащихся ВТУЗов | 382 |
| Виноградов И.М. — Математическая энциклопедия. Предметный указатель | II—80; IV—723 |
| Кудрявцев Л.Д. — Курс математического анализа (т. 2) | 316 |
| Красильщик И.С., Радковский Г.Н., Самохин А.В. — Математика. Часть I. Алгебра и аналитическая геометрия | 17 |
| Борковский А.Б. — Англо-русский словарь по программированию и информатике | 46 |
| Каргаполов М.И., Мерзляков Ю.И. — Основы теории групп | 19 |
| Коллатц Л., Крабс В. — Теория приближений | 242 |
| Бениаминов Е.М. — Алгебраические методы в теории баз данных и представлении знаний | 54, 121, 131, 142 |
| Стерлинг Л., Шапиро Э. — Исскуство программирования на языке Пролог | 35 |
| Эндрю А. — Искусственный интеллект | 33 |
| Директор С., Рорер Р. — Введение в теорию систем | 117 |
| Борсук К. — Теория Ретрактов | 11 |
| Грауэрт Г., Либ И. — Дифференциальное интегральное исчисление | 346 |
| Люстерник Л.А., Соболев В.И. — Краткий курс функционального анализа | 57 |
| Партхасаратхи Т., Рагхаван Т. — Некоторые вопросы теории игры двух лиц | 10 |
| Де Гроот М. — Оптимальные статистические решения | 16 |
| Бахтурин Ю.А. — Тождества в алгебрах Ли | 14 |
| Бердж В. — Методы рекурсивного программирования | 101 |
| Босс В. — Лекции по математике. Том 8: теория групп: учебное пособие | 79 |
| Богачев В.И., Смолянов О.Г. — Действительный и функциональный анализ. Университетский курс | 13 |
| Босс В. — Лекции по математике. Том 5 | 10 |
| Хаггарти Р. — Дискретная математика для программистов | 55 |
| Гроссман С., Тернер Дж. — Математика для биологов | 17 |
| Шутц Б. — Геометрические методы математической физики | 55 |
| Мендельсон Э. — Введение в математическую логику | 12, 184, 220 |
| Ершов Ю.Л., Палютин Е.А. — Математическая логика: Учеб. пособие для вузов | 66 |
| Хаггарти Р. — Дискретная математика для программистов | 55 |
| Биркгоф Г., Барти Т. — Современная прикладная алгебра | 26, 45, 69 |
|
|
О проекте