| Книга | Страницы для поиска |
| Зорич В.А. — Математический анализ (том 1) | 7, 30 |
| Мендельсон Э. — Введение в математическую логику | 53 |
| Бугров Я.С., Никольский С.М. — Высшая математика. Дифференциальное и интегральное исчисление | 12 |
| Новиков Ф.А. — Дискретная математика для программистов | 119 |
| Бутузов В.Ф., Крутицкая Н.Ч., Медведев Г.Н. — Математический анализ в вопросах и задачах | 8 |
| Шапиро С.И. — Решение логических и игровых задач | 55 |
| Тэрано Т., Асаи К., Сугэно М. — Прикладные нечеткие системы | 21 |
| Ершов Ю.Л., Палютин Е.А. — Математическая логика | 105 |
| Горбатов В.А. — Фундаментальные основы дискретной математики. Информационная математика | 142 |
| Нильсон Н. — Искусственный интеллект. Методы поиска решений | 178 |
| Барвайс Д. — Справочная книга по математической логике. Часть 3: теория рекурсии | 180 |
| Фейс К. — Алгебра: кольца, модули и категории (том 1) | 28 |
| Гиндикин С.Г. — Алгебра логики в задачах | 260 |
| Кейслер Г.Дж., Чень-Чунь Ч. — Теория непрерывных моделей | 36 |
| Белоусов А.И., Ткачев С.Б. — Дискретная математика | I, 28 |
| Фейс Р. — Модальная логика | 24 |
| Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики. | 26, 135 |
| Воднев В.Т., Наумович А.Ф., Наумович Н.Ф. — Основные математические формулы. Справочник | 248 |
| Новиков П.С. — Элементы математической логики | 128, 185 |
| Хант Э. — Искусственный интеллект | 396 |
| Зорич В.А. — Математический анализ (Часть 1) | 8, 36 |
| Виноградов И.М. — Математическая энциклопедия. Предметный указатель | I-769; III-1148 |
| Гладкий А.В. — Введение в современную логику | 46 |
| Вопенка П. — Альтернативная теория множеств. Новый взгляд на бесконечность | 42 |
| Борковский А.Б. — Англо-русский словарь по программированию и информатике | 269 |
| Бауэр Ф.Л., Гооз Г. — Информатика | 567 |
| Глушков В.М. — Основы безбумажной информатики | 182 |
| 3алманзон Л.А. — Беседы об автоматике и кибернетике | 292 |
| Лихтенштейн В.Е. — Дискретность и случайность в экономико-математических задачах | 10 |
| Рассел С., Норвиг П. — Искусственный интеллект: современный подход | 355, 385 |
| Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию | 210, 222 |
| Куринной Г.Ч. — Математика. Справочник | 71 |
| Плоткин Б.И. — Универсальная алгебра, алгебраическая логика и базы данных | 181 |
| Лорьер Ж.-Л. — Системы искусственного интеллекта | 101 |
| Судоплатов С.В., Овчинникова Е.В. — Элементы дискретной математики | 222 |
| Дудаков С.М. — Математическое введение в информатику | 29 |
| Калужин Л.А. — Введение в общую алгебру | 79 |
| Бугров Я.С., Никольский С.М. — Высшая математика. Том 2. Дифференциальное и интегральное исчисление | 15 |
| Новиков П.С. — Элементы математической логики | 128, 185 |
| Мендельсон Э. — Введение в математическую логику | 53 |
| Ершов Ю.Л., Палютин Е.А. — Математическая логика: Учеб. пособие для вузов | 105 |
| Ершов А.П. — Введение в теоретическое программирование. Беседы о методе | 265 |
|
|
О проекте