Букинист
 
   
 
Новинки >> Математика>> Математическая логика и теория множеств


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