| Айзерман М. А. и др. |
Логика. Автоматы. Алгоритмы
|
| Архангелький А. В. |
Канторовская теория множеств
|
| Барендрегт Х. |
Ламбда-исчисление. Его синтаксис и семантика
|
| Батыршин И. З. |
Основные операции нечеткой логики и их обобщения
|
| Бек Дж. и др. |
Некорректные обратные задачи теплопроводности
|
| Белов Ю. А. |
Элементы теории множеств и математической логики
|
| Булос Дж., Джеффри Р. |
Вычислимость и логика
|
| Ван Хао, Мак-Нотон Р. |
Аксиоматические системы теории множеств
|
| Верещагин Н. К., Шень А. |
Лекции по математической логике и теории алгоритмов. Ч. 1. Начала теории множеств
|
| Верещагин Н. К., Шень А. |
Лекции по математической логике и теории алгоритмов. Ч. 3. Вычислимые функции
|
| Верещагин Н. К., Шень А. |
Лекции по математической логике и теории алгоритмов. Языки исчисления
|
| Виленкин Н. Я. |
Рассказы о множествах
|
| Воронцов К. В. |
Лекции по алгоритмическим композициям (черновик)
|
| Воронцов К. В. |
Лекции по алгоритмическим композициям (черновик)
|
| Гейтинг А. |
Интуиционизм. Введение
|
| Генкин Л. |
О математической индукции
|
| Гладкий А. В. |
Математическая логика
|
| Гончаров С. С. |
Счетные булевы алгебры и разрешимость
|
| Гохман А. В. и др. |
Сборник задач по математической логике и алгебре множеств
|
| Джонстон П. Т. |
Теория топосов
|
| Ершов Ю. Л. |
Кратно нормированные поля
|
| Ершов Ю. Л. |
Проблемы разрешимости и конструктивные модели
|
| Ершов Ю. Л. |
Теория нумераций
|
| Ершов Ю.Л., Палютин Е. А. |
Математическая логика
|
| Йех Т. |
Теория множеств и метод форсинга
|
| Кановей В. Г. |
Аксиома выбора и аксиома детерминированности
|
| Кантор Г. |
Труды по теории множеств
|
| Кейслер Г. Дж., Чэн Чень-чунь |
Теория непрерывных моделей
|
| Колмогоров А. Н. |
Теория информации и теория алгоритмов
|
| Колмогоров А. Н., Драгалин А. Г. |
Введение в математическую логику
|
| Коэн П. Дж. |
Теория множеств и континнум-гипотеза
|
| Крайзель Г. |
Исследования по теории доказательств
|
| Круглов В. В. и др. |
Нечеткая логика и искусственные нейронные сети
|
| Кушнер Б. А. |
Лекции по конструктивному математическому анализу
|
| Лавров И А., Максимова Л. Л. |
Задачи по теории множеств, математической логике и теории алгоритмов
|
| Линдон Р. |
Заметки по логике
|
| Лузин Н. Н. |
Лекции по аналитическим множествам и их приложениям
|
| Мальцев А. И. |
Алгоритмы и рекурсивные функции
|
| Манин Ю. И. |
Лекции по математической логике. Ч. 1
|
| Марков А. А. |
Элементы математической логики
|
| Матиясевич Ю. В. |
Десятая проблема Гильберта
|
| Мельников Г. П. |
Азбука математической логики
|
| Мендельсон Э. |
Введение в математическую логику
|
| Новиков П. С. |
Конструктивная математическая логика с точки зрения классической
|
| Окстоби Дж. |
Мера и категория
|
| Петер Р. |
Игра с бесконечностью: Математика для нематематиков
|
| под ред. Барвайса Дж. |
Справочная книга по математической логике: В 4-х ч. Ч. 1. Теория моделей
|
| под ред. Барвиса Дж. |
Справочная книга по математической логике: В 4-х ч. Ч. 2. Теория множеств
|
| под ред. Барвиса Дж. |
Справочная книга по математической логике: В 4-х ч. Ч. 3. Теория рекурсии
|
| под ред. Барвиса Дж. |
Справочная книга по математической логике: В 4-х ч. Ч. 4. Теория доказательств и конструктивная математика
|
| под ред. Идельсона А. В., Минца Г. Е. |
Математическая теория логического вывода
|
| под ред. Нагела Э. и др. |
Математическая логика и ее применения
|
| Расева Е., Сикорский Р. |
Математика метаматематики
|
| Рейбен Н. Г. |
Рекурсивный математический анализ
|
| Робинсон А. |
Введение в теорию моделей и метаматематику алгебры
|
| Рудаков К. В. |
Алгебраическая теория универсальных и локальных ограничений для алгоритмов распознавания
|
| Серебрянников О. Ф. |
Эвристические принципы и логические исчисления
|
| Серпинский В. |
О теории множеств
|
| Слупецкий Е., Борковский Л. |
Элементы математической логики и теория множеств
|
| Столл Р. Р. |
Множества. Логика. Аксиоматические теории
|
| Стяжкин Н. И. |
Формирование математической логики
|
| Успенский В. А. |
Лекции о вычислимых функцих
|
| Феферман С. |
Числовые системы: Основания алгебры и анализа
|
| Чень Ч., Ли Р. |
Математическая логика и автоматическое доказательство теорем
|
| Шапиро С. И. |
От алгоритмам – к суждениям
|
| Шенфилд Дж. |
Математическая логика
|
| Шенфилд Дж. |
Степени неразрешимости
|
| Эдельман С. Л. |
Математическая логика
|
| Яблонский С. В. и др. |
Функции алгебры логики и классы Поста
|
