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


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