| Книга | Страницы для поиска |
| Гильберт Д., Бернайс П. — Основания математики. Теория доказательств. | 430, 457 |
| Новиков П.С. — Конструктивная математическая логика с точки зрения классической | 12 |
| Яблонский С.В. — Введение в дискретную математику | 13 |
| Верещагин Н.К., Шень А. — Языки и исчисления | 10 |
| Верещагин Н.К., Шень А. — Вычислимые функции | 98, 99 |
| Мендельсон Э. — Введение в математическую логику | 19 |
| Феллер В. — Введение в теорию вероятностей и ее приложения (том 1) | 25 |
| Майков Е.В. — Введение в математический анализ | 11 |
| Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 37, 264, 265, 275—277 |
| Оре О. — Теория графов | 25 |
| Куратовский К. — Топология (том 1) | 9 |
| Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ | 603 |
| Пухальский Г.И., Новосельцева Т.Я. — Цифровые устройства | 7 |
| Клини С. — Математическая логика | 14 |
| Воройский Ф.С. — Информатика. Новый систематизированный толковый словарь | 101 |
| Шапиро С.И. — Решение логических и игровых задач | 7 |
| Тэрано Т., Асаи К., Сугэно М. — Прикладные нечеткие системы | 262 |
| Куратовский К., Мостовский А. — Теория множеств | 12 |
| Эдельман С.Л. — Математическая логика | 14 |
| Айзерман М.А., Гусев Л.А., Розоноэр Л.И.и др. — Логика. Автоматы. Алгоритмы | 25 |
| Гейтинг А. — Интуиционизм | 123 |
| Токхейм Р. — Основы цифровой электроники | 53 |
| Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики | 21 |
| Никольская И.Л. — Математическая логика | 13 |
| Кейслер Г.Дж., Чень-Чунь Ч. — Теория непрерывных моделей | 36 |
| Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. — Алгебра. Языки. Программирование | 88 |
| Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции | 105 |
| Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах | 245, 389 |
| Кобринский Н.Е., Трахтенброт Б.А. — Введение в теорию конечных автоматов | 25 (см. также «Дополнение») |
| Степанов С.А. — Арифметика алгебраических кривых | 244 |
| Кон П. — Универсальная алгебра | 216 |
| Голдблатт Р. — Топосы. Категорный анализ логики. | 139 |
| Белоусов А.И., Ткачев С.Б. — Дискретная математика | I, 25, 384 |
| Фейс Р. — Модальная логика | 26, 66 |
| Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики. | 27, 60, 75 |
| Шиханович Ю.А. — Введение в современную математику. Начальные понятия | 129 |
| Марков А.А., Нагорный Н.М. — Теория алгорифмов | 38, 47 |
| Ярцева В.Н. (ред.) — Большой Энциклопедический Словарь. Языкознание | 354 |
| Петцольд Ч. — Код. Тайный язык информатики | 173 |
| Юров В.И. — Assembler | 194 |
| Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 52 |
| Каллан Р. — Основные концепции нейронных сетей | 195 |
| Победря Б.Е. — Численные методы в теории упругости и пластичности | 260 |
| Новиков П.С. — Элементы математической логики | 38, 67 |
| Пфанцагль И. — Теория измерений | 205 |
| Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 49 |
| Гладкий А.В. — Математическая логика | 69 |
| Уолл Л., Кристиансен Т., Орвант Д. — Программирование на Perl | 129 |
| Бронштейн И.Н., Семендяев К.А. — Справочник по математике для инженеров и учащихся ВТУЗов | 376 |
| Виноградов И.М. — Математическая энциклопедия. Предметный указатель | I—124; IV—161 |
| Пуаза Б. — Курс теории моделей | 2.a |
| Гладкий А.В. — Введение в современную логику | 54, 55 |
| Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов | 46 |
| Алпатов В.М., Вентцель А.Д., Городецкий Б.Ю. — Лингвистические задачи | 73, 74, 82, 84, 98, 107, 155 |
| Яблонский С.В. (ред.), Лупанов О.Б. (ред.) — Дискретная математика и математические вопросы кибернетики (том 1) | 11 |
| Пенроуз Р. — Тени разума. В поисках науки о сознании | 149, 152 |
| Красильщик И.С., Радковский Г.Н., Самохин А.В. — Математика. Часть I. Алгебра и аналитическая геометрия | 12 |
| Прасолов В.В. — Задачи по алгебре, арифметике и анализу | 215 |
| Борковский А.Б. — Англо-русский словарь по программированию и информатике | 142, 173, 176 |
| Джехани Н. — Язык Ада | см. «Логическая операция отрицания» |
| Панов М.И. — Методические проблемы интуиционистской математики | 75, 85, 145, 148 |
| Гутманс Э., Баккен С., Ретанс Д. — PHP 5. Профессиональное программирование | 61 |
| Успенский В.А. — Лекции о вычислимых функциях | 57, 58, 70 |
| Фёдоров В.М. — Теория функций и функциональный анализ. Часть 1 | 12 |
| Гаазе-Рапопорт М.Г. — Автоматы и живые организмы | 83 |
| Кибрик А.Е. (ред.), Ершов А.П. (ред.) — Моделирование языковой деятельности в интеллектуальных системах | 77 |
| Гаек П., Гавранек Т. — Автоматическое образование гипотез | 36 |
| Яблонский С.В. — Введение в дискретную математику | 13 |
| Рассел С., Норвиг П. — Искусственный интеллект: современный подход | 297 |
| Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию | 100, 469 |
| Федоренко Н.П. (ред.), Канторович Л.В. (ред.), Данилов-Данильян В.И. (ред.) — Математика и кибернетика в экономике. Словарь-справочник | 27 |
| Фрид Э., Пастор И., Рейман И. — Малая математическая энциклопедия | 635, 636 |
| Ковальски Р. — Логика в решении проблем | 42 |
| Воройский Ф.С. — Информатика. Энциклопедический словарь-справочник: введение в современные информационные и телекоммуникационные технологии в терминах и фактах | 73 |
| Поспелов Д.А. — Фантазия или наука: на пути к искусственному интеллекту | 54 |
| Судоплатов С.В., Овчинникова Е.В. — Элементы дискретной математики | 173 |
| Бауэр Ф.Л., Гооз Г., Сабельфельд В.К. (пер.) — Информатика. Вводный курс | 204 |
| Калужин Л.А. — Введение в общую алгебру | 63 |
| Мазор Ю.Л., Мачусский Е.А., Правда В.И. — Радиотехника. Энциклопедия | 759 |
| Хаггарти Р. — Дискретная математика для программистов | 24, 194 |
| Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления | 10 |
| Клини С.К. — Математическая логика | 14 |
| Падучева Е.В. — О семантике синтаксиса. Материалы к трансформационной грамматике русского языка | 143 |
| Мельников Ю.Б. — Элементы дискретной математики: Конспект лекций | 12 |
| Гаазе-Рапопорт М.Г. — Автоматы и живые организмы. Моделирование поведения живых организмов | 83 |
| Новиков П.С. — Элементы математической логики | 38, 67 |
| Мендельсон Э. — Введение в математическую логику | 19 |
| Жолков С.Ю. — Математика и информатика для гуманитариев | 201—202 |
| Бююль А., Цёфель П. — SPSS. Искусство обработки информации | 106, 113 |
| Ершов А.П. — Введение в теоретическое программирование. Беседы о методе | 191 |
| Хаггарти Р. — Дискретная математика для программистов | 24, 194 |
|
|
О проекте