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


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