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


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