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


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