| Книга | Страницы для поиска |
| Френкель А.А., Бар-Хиллел И. — Основания теории множеств | 38 |
| Гильберт Д., Бернайс П. — Основания математики. Теория доказательств. | 457 |
| Новиков П.С. — Конструктивная математическая логика с точки зрения классической | 10 |
| Яблонский С.В. — Введение в дискретную математику | 13 |
| Верещагин Н.К., Шень А. — Языки и исчисления | 10 |
| Верещагин Н.К., Шень А. — Вычислимые функции | 98, 100 |
| Мендельсон Э. — Введение в математическую логику | 19 |
| Майков Е.В. — Введение в математический анализ | 11 |
| Куратовский К. — Топология (том 1) | 9 |
| Корн Г., Корн Т. — Справочник по математике для научных работников и инженеров | 15.4—3 |
| Пухальский Г.И., Новосельцева Т.Я. — Цифровые устройства | 7 |
| Клини С. — Математическая логика | 14 |
| Воройский Ф.С. — Информатика. Новый систематизированный толковый словарь | 101 |
| Куратовский К., Мостовский А. — Теория множеств | 11 |
| Гаврилов Г.П., Сапоженко А.А. — Задачи и упражнения по дискретной математике | 11 |
| Эдельман С.Л. — Математическая логика | 14 |
| Айзерман М.А., Гусев Л.А., Розоноэр Л.И.и др. — Логика. Автоматы. Алгоритмы | 27 |
| Гейтинг А. — Интуиционизм | 122 |
| Ершов Ю.Л., Палютин Е.А. — Математическая логика | 33 |
| Нильсон Н. — Искусственный интеллект. Методы поиска решений | 177 |
| Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики | 22 |
| Никольская И.Л. — Математическая логика | 12 |
| Гиндикин С.Г. — Алгебра логики в задачах | 15 |
| Кейслер Г.Дж., Чень-Чунь Ч. — Теория непрерывных моделей | 36 |
| Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. — Алгебра. Языки. Программирование | 16 |
| Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции | 133, 145 |
| Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах | 245, 251, 264, 305 |
| Кобринский Н.Е., Трахтенброт Б.А. — Введение в теорию конечных автоматов | 25, 36, 46, 50, 51 (см. также «Логическое умножение») |
| Степанов С.А. — Арифметика алгебраических кривых | 244 |
| Кон П. — Универсальная алгебра | 216 |
| Голдблатт Р. — Топосы. Категорный анализ логики. | 139, 140 |
| Драгалин А.Г. — Математический интуиционизм. Введение в теорию доказательств | 11, 77, 80 |
| Белоусов А.И., Ткачев С.Б. — Дискретная математика | I, 25, 385 |
| Гильберт Д., Аккерман В. — Основы теоретической логики | 24 |
| Фейс Р. — Модальная логика | 26, 65 |
| Гильберт Д., Бернайс П. — Основания математики. Логические исчисления и формализация арифметики. | 27, 75 |
| Шиханович Ю.А. — Введение в современную математику. Начальные понятия | 130, 131 |
| Ярцева В.Н. (ред.) — Большой Энциклопедический Словарь. Языкознание | 275, 367 |
| фон Нейман Дж., Моргенштерн О. — Теория игр и экономическое поведение | 92 |
| Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 53 |
| Гасанов Э.Э., Кудрявцев В.Б. — Теория хранения и поиска информации | 96 |
| Каллан Р. — Основные концепции нейронных сетей | 195 |
| Победря Б.Е. — Численные методы в теории упругости и пластичности | 260 |
| Новиков П.С. — Элементы математической логики | 67 |
| Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера | 49 |
| Гладкий А.В. — Математическая логика | 64 |
| Гаврилов Г.П., Сапоженко А.А. — Сборник задач по дискретной математике | 21 |
| Шоломов Л.А. — Основы теории дискретных логических и вычислительных устройств | 26 |
| Дунаев В. — Самоучитель JavaScript | 37 |
| Бронштейн И.Н., Семендяев К.А. — Справочник по математике для инженеров и учащихся ВТУЗов | 377, 378 |
| Виноградов И.М. — Математическая энциклопедия. Предметный указатель | I-124; II-1102 |
| Пуаза Б. — Курс теории моделей | 2.a |
| Гладкий А.В. — Введение в современную логику | 50, 55 |
| Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов | 46, 47 |
| Яблонский С.В. (ред.), Лупанов О.Б. (ред.) — Дискретная математика и математические вопросы кибернетики (том 1) | 11 |
| Харари Ф. — Теория графов | 40, 243 |
| Красильщик И.С., Радковский Г.Н., Самохин А.В. — Математика. Часть I. Алгебра и аналитическая геометрия | 12 |
| Прасолов В.В. — Задачи по алгебре, арифметике и анализу | 215 |
| Борковский А.Б. — Англо-русский словарь по программированию и информатике | 19, 63, 141, 155 |
| Джехани Н. — Язык Ада | см. «Логическая операция» |
| Варшавский В.И., Поспелов Д.А. — Оркестр играет без дирижера: размышления об эволюции некоторых технических систем и управлении ими | 101 |
| Фёдоров В.М. — Теория функций и функциональный анализ. Часть 1 | 12 |
| 3алманзон Л.А. — Беседы об автоматике и кибернетике | 56 |
| Лихтенштейн В.Е. — Дискретность и случайность в экономико-математических задачах | 10 |
| Степанов А.Н. — Информатика | 566 |
| Гаек П., Гавранек Т. — Автоматическое образование гипотез | 36 |
| Лернер А.Я. — Начала кибернетики | 173 |
| Яблонский С.В. — Введение в дискретную математику | 13 |
| Рассел С., Норвиг П. — Искусственный интеллект: современный подход | 297 |
| Вонг У. — Основы программирования для "чайников" | 119 |
| Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию | 245, 452, 457 |
| Федоренко Н.П. (ред.), Канторович Л.В. (ред.), Данилов-Данильян В.И. (ред.) — Математика и кибернетика в экономике. Словарь-справочник | 27 |
| Фрид Э., Пастор И., Рейман И. — Малая математическая энциклопедия | 633, 635, 636, 638, 641, 642 |
| Себеста Р.У. — Основные концепции языков программирования | 626 |
| Босс В. — Лекции по математике. Том 10 | 27 |
| Шалыто А.А. — Логическое управление. Методы аппаратной и программной реализации | 27, 392 |
| Рывкин А.А., Рывкин А.З., Хренов Л.С. — Справочник по математике: справочное пособие для учащихся средних специальных учебных заведений и поступающих в вузы | 105 |
| Любимский Э.З., Мартынюк В.В., Трифонов Н.П. — Программирование | 50, 69 |
| Ковальски Р. — Логика в решении проблем | 211 |
| Гетманова А.Д. — Учебник по логике | 24, 77—78 |
| Варпаховский Ф.Л., Солодовников А.С. — Алгебра | 30 |
| Корн Г.А., Корн Т.М. — Справочник по математике для ученых инженеров | 15.4—3 |
| Корн Г., Корн Т. — Справочник по математике для научных работников и инженеров. | 15.4—3 |
| Корн Г.А., Корн Т.М. — Справочник по математике для научных работников и инженеров | 15.4—3 |
| Корн Г., Корн Т. — Справочник по математике (для научных работников и инженеров) | 15.4—3 |
| Воройский Ф.С. — Информатика. Энциклопедический словарь-справочник: введение в современные информационные и телекоммуникационные технологии в терминах и фактах | 72 |
| Аксенова М.Д. (ред.) — Энциклопедия для детей. Том 11. Математика. | 583 |
| Поспелов Д.А. — Фантазия или наука: на пути к искусственному интеллекту | 55 |
| Судоплатов С.В., Овчинникова Е.В. — Элементы дискретной математики | 173 |
| Бауэр Ф.Л., Гооз Г., Сабельфельд В.К. (пер.) — Информатика. Вводный курс | 91, 204 |
| Рыбкин А.А. — Математика. Справочное пособие. Для школьников старших классов и поступающих в вузы | 141 |
| Дружинин В.В. (ред.) — Справочник по основам радиолокационной техники | 635 |
| Фридланд А.Я., Ханамирова Л.С., Фридланд И.А. — Информатика и компьютерные технологии. Основные термины. Толковый словарь | 90 |
| Калужин Л.А. — Введение в общую алгебру | 64 |
| Сазонов А.А., Лукичев А.Ю., Николаев В.Т. — Микроэлектронные устройства автоматики | 5 |
| Мазор Ю.Л., Мачусский Е.А., Правда В.И. — Радиотехника. Энциклопедия | 759 |
| Дикарев В.А., Кольцов В.П., Мельников А.Ф. — Вычислительные методы в задачах радиоэлектроники | 99, 104, 105, 109 |
| Хаггарти Р. — Дискретная математика для программистов | 25, 194 |
| Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления | 10 |
| Клини С.К. — Математическая логика | 14 |
| Падучева Е.В. — О семантике синтаксиса. Материалы к трансформационной грамматике русского языка | 46, 162, см. также "Конъюнкция сентенциональная" |
| Зорин В.В., Фискович Т.Т. — Пособие по математике для поступающих в вузы | 15 |
| Мельников Ю.Б. — Элементы дискретной математики: Конспект лекций | 12 |
| Хопкрофт Д., Мотвани Р., Ульман Д. — Введение в теорию автоматов, языков и вычислений | 43 |
| Новиков П.С. — Элементы математической логики | 67 |
| Босс В. — Лекции по математике. Т. 6: От Диофанта до Тьюринга | 87, 189 |
| Савельев А. Я — Арифметические и логические основы цифровых автоматов | 165 |
| Мендельсон Э. — Введение в математическую логику | 19 |
| Жолков С.Ю. — Математика и информатика для гуманитариев | 201—202 |
| Дружинин В.В. (ред.) — Справочник по основам радиолокационной техники | 635 |
| Ершов Ю.Л., Палютин Е.А. — Математическая логика: Учеб. пособие для вузов | 33 |
| Ершов А.П. — Введение в теоретическое программирование. Беседы о методе | 191 |
| Переборов А.С., Брылеев А.М., Смирнова А.В. — Теоретические основы железнодорожной автоматики и телемеханики | 131 |
| Хаггарти Р. — Дискретная математика для программистов | 25, 194 |
|
|
О проекте