| Книга | Страницы для поиска |
| ван дер Варден Б.Л. — Алгебра | 20 |
| Гильберт Д., Бернайс П. — Основания математики. Теория доказательств. | 468, 589 |
| Корн Г., Корн Т. — Справочник по математике для научных работников и инженеров | 1.1—2 |
| Клини С. — Математическая логика | 252 |
| Биркгоф Г., Барти Т. — Современная прикладная алгебра | 30 |
| Манин Ю.И. — Вычислимое и невычислимое | 100 |
| Куратовский К., Мостовский А. — Теория множеств | 96 |
| Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики | 77 |
| Кон П. — Универсальная алгебра | 264 |
| Голдблатт Р. — Топосы. Категорный анализ логики. | 358 |
| Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики. | 272, 351 |
| Карри Х.Б. — Основания математической логики | 50 |
| Феферман С. — Числовые системы. Основания алгебры и анализа | 79 |
| Кудрявцев Л.Д. — Курс математического анализа (т. 1) | 25 |
| Столл Р.Р. — Множества. Логика. Аксиоматические теории | 148 |
| Энгелер Э. — Метаматематика элементарной математики | 10, 50 |
| Арнольд И.В. — Теоретическая арифметика | 47—48 |
| Манин Ю.И. — Вычислимое и невычислимое | 100 |
| Ван-дер-Варден Б.Л. — Современная алгебра. Часть 1 | 19 |
| Донеддю А. — Евклидова планиметрия | 13 |
| Варпаховский Ф.Л., Солодовников А.С. — Алгебра | 46 |
| Корн Г.А., Корн Т.М. — Справочник по математике для ученых инженеров | 1.1—2 |
| Корн Г., Корн Т. — Справочник по математике для научных работников и инженеров. | 1.1—2 |
| Корн Г.А., Корн Т.М. — Справочник по математике для научных работников и инженеров | 1.1—2 |
| Корн Г., Корн Т. — Справочник по математике (для научных работников и инженеров) | 1.1—2 |
| Клини С.К. — Математическая логика | 252 |
| Жолков С.Ю. — Математика и информатика для гуманитариев | 478, 512 |
| Столл Р.Р. — Множества. Логика. Аксиоматические теории | 148 |
| Биркгоф Г., Барти Т. — Современная прикладная алгебра | 30 |
|
|
О проекте