Большая электронная библиотека    Вкусные рецепты с фото    Интересно о танках
Главная Назад

Список книг:

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


Krelib.com © 2007-2013