| Книга | Страницы для поиска |
| Зорич В.А. — Математический анализ (том 1) | 7, 30 |
| Гелбаум Б., Олмстед Дж. — Контрпримеры в анализе | 12 |
| Новиков П.С. — Конструктивная математическая логика с точки зрения классической | 171, 183 |
| Мендельсон Э. — Введение в математическую логику | 53, 55, 235 |
| Бугров Я.С., Никольский С.М. — Высшая математика. Дифференциальное и интегральное исчисление | 12 |
| Новиков Ф.А. — Дискретная математика для программистов | 119 |
| Майков Е.В. — Введение в математический анализ | 10 |
| Бутузов В.Ф., Крутицкая Н.Ч., Медведев Г.Н. — Математический анализ в вопросах и задачах | 8 |
| Клини С. — Математическая логика | 100 |
| Шапиро С.И. — Решение логических и игровых задач | 55 |
| Тэрано Т., Асаи К., Сугэно М. — Прикладные нечеткие системы | 21 |
| Эдельман С.Л. — Математическая логика | 61 |
| Айзерман М.А., Гусев Л.А., Розоноэр Л.И.и др. — Логика. Автоматы. Алгоритмы | 42 |
| Ершов Ю.Л., Палютин Е.А. — Математическая логика | 105 |
| Горбатов В.А. — Фундаментальные основы дискретной математики. Информационная математика | 142 |
| Нильсон Н. — Искусственный интеллект. Методы поиска решений | 179 |
| Барвайс Д. — Справочная книга по математической логике. Часть 3: теория рекурсии | 180 |
| Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики | 25 |
| Фейс К. — Алгебра: кольца, модули и категории (том 1) | 28 |
| Никольская И.Л. — Математическая логика | 95 |
| Гиндикин С.Г. — Алгебра логики в задачах | 260 |
| Кейслер Г.Дж., Чень-Чунь Ч. — Теория непрерывных моделей | 36 |
| Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах | 26, 249, 458 |
| Кобринский Н.Е., Трахтенброт Б.А. — Введение в теорию конечных автоматов | 69 |
| Кон П. — Универсальная алгебра | 217 |
| Голдблатт Р. — Топосы. Категорный анализ логики. | 250 |
| Белоусов А.И., Ткачев С.Б. — Дискретная математика | I, 28 |
| Фейс Р. — Модальная логика | 24 |
| Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики. | 26, 135 |
| Боярчук А.К. — АнтиДемидович (том 4: Справочное пособие по высшей математике. Функции комплексного переменного: теория и практика) | 4 |
| Шиханович Ю.А. — Введение в современную математику. Начальные понятия | 147 |
| Воднев В.Т., Наумович А.Ф., Наумович Н.Ф. — Основные математические формулы. Справочник | 248 |
| Каллан Р. — Основные концепции нейронных сетей | 199 |
| Линдон Р. — Заметки по логике | 20 |
| Новиков П.С. — Элементы математической логики | 129, 185 |
| Хант Э. — Искусственный интеллект | 396 |
| Зорич В.А. — Математический анализ (Часть 1) | 8, 36 |
| Гладкий А.В. — Математическая логика | 60 |
| Девятков В.В. — Системы искусственного интеллекта | 56 |
| Бронштейн И.Н., Семендяев К.А. — Справочник по математике для инженеров и учащихся ВТУЗов | 380 |
| Виноградов И.М. — Математическая энциклопедия. Предметный указатель | IV-93 |
| Гладкий А.В. — Введение в современную логику | 46 |
| Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов | 68 |
| Вопенка П. — Альтернативная теория множеств. Новый взгляд на бесконечность | 43 |
| Красильщик И.С., Радковский Г.Н., Самохин А.В. — Математика. Часть I. Алгебра и аналитическая геометрия | 13 |
| Деньдобренко Б.Н., Малика А.С. — Автоматизация конструирования РЭА | 24 |
| Осуга С. — Обработка знаний | 93 |
| Стерлинг Л., Шапиро Э. — Исскуство программирования на языке Пролог | 19 |
| Успенский В.А. — Лекции о вычислимых функциях | 60, 72 |
| Глушков В.М. — Основы безбумажной информатики | 182 |
| 3алманзон Л.А. — Беседы об автоматике и кибернетике | 292 |
| Лихтенштейн В.Е. — Дискретность и случайность в экономико-математических задачах | 10 |
| Гаек П., Гавранек Т. — Автоматическое образование гипотез | 37 |
| Кремер Н.Ш. (ред.) — Высшая математика для экономистов | 142 |
| Рассел С., Норвиг П. — Искусственный интеллект: современный подход | 357 |
| Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию | 210 |
| Фрид Э., Пастор И., Рейман И. — Малая математическая энциклопедия | 665 |
| Куринной Г.Ч. — Математика. Справочник | 71 |
| Плоткин Б.И. — Универсальная алгебра, алгебраическая логика и базы данных | 180, 181, 182 |
| Ковальски Р. — Логика в решении проблем | 208 |
| Лорьер Ж.-Л. — Системы искусственного интеллекта | 102 |
| Варпаховский Ф.Л., Солодовников А.С. — Алгебра | 31 |
| Поспелов Д.А. — Фантазия или наука: на пути к искусственному интеллекту | 60 |
| Судоплатов С.В., Овчинникова Е.В. — Элементы дискретной математики | 222 |
| Бочаров В.А., Маркин В.И. — Основы логики | 93 |
| Дудаков С.М. — Математическое введение в информатику | 29 |
| Калужин Л.А. — Введение в общую алгебру | 80 |
| Асмус В.Ф. — Проблема интуиции в философии и математике | 274 |
| Клини С.К. — Математическая логика | 100 |
| Падучева Е.В. — О семантике синтаксиса. Материалы к трансформационной грамматике русского языка | 46, 85 |
| Бугров Я.С., Никольский С.М. — Высшая математика. Том 2. Дифференциальное и интегральное исчисление | 15 |
| Новиков П.С. — Элементы математической логики | 129, 185 |
| Босс В. — Лекции по математике. Т. 6: От Диофанта до Тьюринга | 94, 190 |
| Мендельсон Э. — Введение в математическую логику | 53, 55, 235 |
| Ершов Ю.Л., Палютин Е.А. — Математическая логика: Учеб. пособие для вузов | 105 |
|
|
О проекте