| Книга | Страницы для поиска |
| ван дер Варден Б.Л. — Алгебра | 238 |
| Зорич В.А. — Математический анализ (том 1) | 28 |
| Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 65 и сл., 145, 203, 204, 223, 224 |
| Энгелькинг Р. — Общая топология | 28 |
| Гелбаум Б., Олмстед Дж. — Контрпримеры в анализе | 120 |
| Биркгоф Г. — Теория решеток | 268 |
| Келли Дж.Л. — Общая топология | 351 |
| Биркгоф Г. — Теория структур | 72 |
| Колмогоров А.Н., Фомин С.В. — Элементы теории функций и функционального анализа | 39 |
| Оре О. — Теория графов | 118 |
| Куратовский К. — Топология (том 1) | 34 |
| Люмис Л. — Введение в абстрактный гармонический анализ | 11 |
| Клини С. — Математическая логика | 204, 226, 383 |
| Биркгоф Г., Барти Т. — Современная прикладная алгебра | 372 |
| Куратовский К., Мостовский А. — Теория множеств | 61 |
| Йех Т. — Теория множеств и метод форсинга | 20 |
| Антоневич А.Б., Радыно Я.В. — Функциональный анализ и интегральные уравнения | 6 |
| Ершов Ю.Л., Палютин Е.А. — Математическая логика | 75 |
| Дьедонне Ж. — Основы современного анализа | 1.4 |
| Холл М. — Теория групп | 28 |
| Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики | 18 |
| Фейс К. — Алгебра: кольца, модули и категории (том 1) | 34, 36 |
| Джонстон П.Т. — Теория топосов | 160 |
| Скорняков Л.А. (ред.) — Общая алгебра (том 1) | 43 |
| Скорняков Л.А. — Элементы общей алгебры | 13 |
| Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции | 179 |
| Кон П. — Универсальная алгебра | 33 |
| Голдблатт Р. — Топосы. Категорный анализ логики. | 303, 324 |
| Гильберт Д., Аккерман В. — Основы теоретической логики | 167, 198 |
| Карри Х.Б. — Основания математической логики | 34 |
| Феферман С. — Числовые системы. Основания алгебры и анализа | 30, 46, 113, 417 |
| Клайн М. — Математика. Утрата определенности | 243 |
| Фукс Л. — Бесконечные абелевы группы (том 1) | 9 |
| фон Нейман Дж., Моргенштерн О. — Теория игр и экономическое поведение | 289 |
| Гордон Е.И., Кусраев А.Г., Кутателадзе С.С. — Инфинитезимальный анализ | 60 |
| Босс В. — Лекции по математике (Том 1. Анализ) | 170 |
| Зорич В.А. — Математический анализ (Часть 1) | 34 |
| Шилов Г.Е. — Математический анализ. Специальный курс | 422 |
| Пуаза Б. — Курс теории моделей | 8.b |
| Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов | 20, 40, 91 |
| Энгелер Э. — Метаматематика элементарной математики | 21, 51, 52 |
| Пенроуз Р. — Тени разума. В поисках науки о сознании | 158, 166, 190 |
| Ван-дер-Варден Б.Л. — Современная алгебра. Часть 1 | 330 |
| Перминов В.Я. — Философия и основания математики | 123, 168, 169, 176—178, 197, 206, 215 |
| Осуга С. — Обработка знаний | 149 |
| Ламбек И. — Кольца и модули | 31 |
| Курош А.Г. — Лекции по общей алгебре | 11 |
| Грауэрт Г., Либ И. — Дифференциальное интегральное исчисление | 194 |
| Янг Л., Алексеев В.М. (ред.) — Лекции по вариационному исчислению и теории оптимального управления | 155 |
| Кусраев А.Г., Кутателадзе С.С. — Нестандартный порядковый анализ. Приглашение | 7, 11 |
| Варга Дж. — Оптимальное управление дифференциальными и функциональными уравнениями | 15 |
| Партхасаратхи Т., Рагхаван Т. — Некоторые вопросы теории игры двух лиц | 10 |
| Зелковиц М., Шоу А., Геннон Дж. — Принципы разработки програмного обеспечение | 101 |
| Мовсисян Ю.М. — Введение в теорию алгебр со сверхтождествами | 10 |
| Шерстнев А.Н. — Конспект лекций по математическому анализу | 453 |
| Крылов П.А., Туганбаев А.А., Чехлов А.Р. — Упражнения по группам,кольцам и полям | 25 |
| Кейслер Г., Чэн Ч.Ч. — Теория моделей | 557, 566 |
| Фрид Э., Пастор И., Рейман И. — Малая математическая энциклопедия | 578 |
| Босс В. — Лекции по математике: анализ | 170 |
| Богачев В.И., Смолянов О.Г. — Действительный и функциональный анализ. Университетский курс | 14 |
| Босс В. — Лекции по математике. Том 5 | 12 |
| Судоплатов С.В., Овчинникова Е.В. — Элементы дискретной математики | 45 |
| Клайн М. — Математика. Утрата определенности | 243 |
| Клини С.К. — Математическая логика | 204, 226, 383 |
| Босс В. — Лекции по математике. Т. 6: От Диофанта до Тьюринга | 138, 196 |
| Жолков С.Ю. — Математика и информатика для гуманитариев | 484—486 |
| Ершов Ю.Л., Палютин Е.А. — Математическая логика: Учеб. пособие для вузов | 75 |
| Биркгоф Г., Барти Т. — Современная прикладная алгебра | 372 |
|
|
О проекте