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