Каталог >> Математика>> Математическая логика и теория множеств
Раздел: Математическая логика и теория множеств
Семантика модальных и интенсиональных логик
Kamke E. Theory of sets
Vopěnka, P., and Hájek, P. The Theory of Semisets
Ааронсон С. Квантовые вычисления со времен Демокрита
Абрамов С.А. Лекции о сложности алгоритмов
Алферова З.В. Теория алгоритмов
Архангельский А.В. Канторовская теория множеств
Бабенко М.А., Левин М.В. Введение в теорию алгоритмов и структур данных
Барвайс Дж. Справочная книга по математической логике. В 4-х частях. Часть 1. Теория моделей
Барвайс Дж. Справочная книга по математической логике. В 4-х частях. Часть 2. Теория множеств
Барвайс Дж. Справочная книга по математической логике. В 4-х частях. Часть 4. Теория доказательств и конструктивная математика
Барвайс Дж. Справочная книга по математической логике. В четырех томах
Богуславский В.М. Задачи по логике
Булос Дж., Джеффри Р. Вычислимость и логика
Верещагин Н.К., Успенский В.А., Шень А. Колмогоровская сложность и алгоритмическая случайность
Верещагин Н.К., Шень А. Лекции по математической логике и теории алгоритмов в 3-х частях. Часть 1. Начала теории множеств. Часть 2. Языки и исчисления. Часть 3. Вычислимые функции
Виленкин Н.Я. Рассказы о множествах
Виленкин Н.Я. Рассказы о множествах
Вопенка П. Математика в альтернативной теории множеств
Гейтинг А. Интуиционизм
Гжегорчик А. Популярная логика. Общедоступный очерк логики предложений
Гильберт Д., Аккерман В. Основы теоретической логики
Гильберт Д., Бернайс П. Основания математики. В 2-х книгах. Книга 2: Теория доказательств
Гильберт Д., Бернайс П. Основания математики. В 2-х томах. Том 1. Логические исчисления и формализация арифметики. Том 2. Теория доказательств
Гильберт Д., Бернайс П. Основания математики. В двух томах. Том 1: Логические исчисления и формализация арифметики
Гильберт Д., Бернайс П. Основания математики. В двух томах. Том 1. Логические исчисления и формализация арифметики. Том 2. Теория доказательств
Гиндикин С.Г. Алгебра логики в задачах
Глушков В.М. Теория алгоритмов
Горбатов А.В. Характеризационная теория синтеза функциональных декомпозиций в k-значных логиках
Горбатов В.А. Теория частично упорядоченных систем
Горбатов В.А., Горбатов А.В., Горбатова М.В. Теория автоматов
Горшков Г.П., Якушова А.Ф. Общая геология
Гросс М., Лантен А. Теория формальных грамматик
Гудстейн Р.П. Рекурсивный математический анализ
Дасгупта С., Пападимитриу Х., Вазирани У. Алгоритмы
Девис М. Прикладной нестандартный анализ
Дедекинд Р. Что такое числа и для чего они служат?
Дертоузос М. Пороговая логика
Джонстон П.Т. Теория топосов
Драгалин А.Г. Математический интуиционизм. Введение в теорию доказательств
Ершов А.П. Введение в теоретическое программирование. Беседы о методе
Ершов Ю.Л. Проблемы разрешимости и конструктивные модели
Ершов Ю.Л. Проблемы разрешимости и конструктивные модели
Ершов Ю.Л., Палютин Е.А. Математическая логика
Ершов Ю.Л., Палютин Е.А. Математическая логика
Ершов Ю.Л., Палютин Е.А. Математическая логика
Заде Л. Понятие лингвистической переменной и его применение к принятию приближенных решений
Зиновьев А.А. Комплексная логика
Ивс Г., Ньюсом К.В. О математической логике и философии математики
Игошин В.И. Математическая логика и теория алгоритмов
Идельсон А.В., Минц Г.Е. Математическая теория логического вывода
Йех Т. Теория множеств и метод форсинга
Калужнін Л.А., Сущанський В.І. Елементи теорії множин та математичної логіки. У 2-х частинах
Кановей В. Аксиома выбора и аксиома детерминированности
Карпенко А.С. Развитие многозначной логики
Карри Х. Основания математической логики
Катленд Н. Вычислимость. Введение в теорию рекурсивных функций
Кейслер Г., Чэн Ч.Ч. Теория моделей
Кейслер Г.Дж., Чэн Ч.Ч. Теория непрерывных моделей
Клини С. Математическая логика
Клини С., Весли Р. Основания интуиционистской математики с точки зрения теории рекурсивных функций
Клини С.К. Введение в метаматематику
Клини С.К. Математическая логика
Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику
Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику. Математическая логика. Дополнительные главы
Кольман Э., Зих О. Занимательная логика
Конышева Л.К., Назаров Д.М. Основы теории нечетких множеств
Косовский Н.К. Элементы математической логики и ее приложения к теории субрекурсивных агоритмов
Котов В.Е. Введение в теорию схем программ
Кофман А. Введение в теорию нечетких множеств
Коэн П.Дж. Теория множеств и континуум-гипотеза
Крайзель Г. Исследования по теории доказательств
Кужель О.В. Елементи теорії множин і математичної логіки
Кузьмин В.Б. Построение групповых решений в пространстве четких и нечетких бинарных отношений
Куратовский К., Мостовский А. Теория множеств
Кутасов А.Д. Элементы математической логики
Кутателадзе С.С. Основы нестандартного математичеcкого анализа. Теоретико-множественное обоснование нестандартного анализа. Наивное обоснование инфинитезимальных методов. Монады в общей топологии
Кутюра Л. Алгебра логики
Кутюра Л. Философские принципы математики
Кушнер Б.А. Лекции по конструктивному математическому анализу
Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов
Лакатос И. Доказательства и опровержения (Как доказываются теоремы)
Лескин А.А., Мальцев П.А., Спиридонов А.М. Сети Петри в моделировании и управлении
Лихтарников Л.М. Первое знакомство с математической логикой
Лузин Н.Н. Лекции об аналитических множествах и их приложениях
Ляпунов А.А. Вопросы теории множеств и теории функций
Мальцев А.И. Алгоритмы и рекурсивные функции
Мальцев А.И. Алгоритмы и рекурсивные функции
Мальцев А.И. Алгоритмы и рекурсивные функции
Манин Ю.И. Вычислимое и невычислимое
Манин Ю.И. Доказуемое и недоказуемое
Марков А.А., Нагорный Н.М. Теория алгорифмов
Маркус С. Теоретико-множественные модели языков
Минский М. Вычисления и автоматы
Михайлов А.И. Исследования по неклассическим логикам и формальным системам
Мороз Б.З. Диофантовы уравнения и доказуемость в математике
Мостовский А. Конструктивные множества и их приложения
Мостовский А. Конструктивные множества и их приложения
Мостовский А. Конструктивные множества и их приложения
Нагел Э., Саппс П., Тарский А. Математическая логика и ее применения
Никольская И.Л. Математическая логика
Новиков П.С. Конструктивная математическая логика с точки зрения классической
Новиков П.С. Элементы математической логики
Орлов А.И. Задачи оптимизации и нечеткие переменные
Петер Р. Рекурсивные функции
Петер Р. Рекурсивные функции
Правиц Д. Натуральный вывод. Теоретико-доказательственное исследование
Расева Е., Сикорский Р. Математика метаматематики
Рвачев Л.А. Математика и семантика. Номинализм как интерпретация математики
Робинсон А. Введение в теорию моделей и метаматематику алгебры
Роджерс Х. Теория рекурсивных функций и эффективная вычислимость
Саломаа А. Жемчужины теории формальных языков
Семенов А.Л. Математика текстов
Серпинский В. О теории множеств
Сикорский Р. Булевы алгебры
Скобелев В.Г. Локальные алгоритмы на графах
Слупецкий Е., Борковский Л. Элементы математической логики и теория множеств
Смальян Р. Теория формальных систем
Смирнов В., Войшвилло Е., Драгалин А.М. Логический вывод
Смирнов В.А., Анисов А.М. Исследования по неклассическим логикам
Столл Р.Р. Множества. Логика. Аксиоматические теории
Столяр А.А. Элементарное введение в математическую логику
Сухарев В. Раскрывая великие тайны природы
Таванец П. Неклассическая логика
Такеути Г. Теория доказательств
Тарский А. Введение в логику и методологию дедуктивных наук
Трахтенброт Б.А., Барздинь Я.М. Конечные автоматы. Поведение и синтез
Тростников В.Н. Конструктивные процессы в математике. Философский аспект
Успенский В.А. Лекции о вычислимых функциях
Успенский В.А. Что такое нестандартный анализ?
Фейс Р. Модальная логика
Фреге Г. Логика и логическая семантика
Фреге Г. Логико-философские труды
Фрейденталь Х. Язык логики
Френкель А., Бар-Хиллел И. Основания теории множеств
Френкель А.А., Бар-Хиллел И. Основания теории множеств
Фридман А.А. Степени неразрешимости проблемы тождества для конечно-определенных групп
Харин Н.Н. Математическая логика и теория множеств. (О соотношении абстрактного и конкретного)
Хаусдорф Ф. Теория множеств
Цейтлин Г.Е. Введение в алгоритмику
Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем
Черч А. Введение в математическую логику. Том первый (второй не выходил)
Шапорев С.Д. Математическая логика. Курс лекций и практических занятий
Шенфилд Дж. Математическая логика
Шенфилд Дж. Степени неразрешимости
Шиханович Ю.А. Минимум по теории алгоритмов для нематематиков
Шрейдер Ю.А. Равенство, сходство, порядок
Шрейдер Ю.А., Ревзин И.И. и др. Математическая лингвистика
Эдельман С.Л. Математическая логика
Энгелер Э. Метаматематика элементарной математики
Ющенко К.Л., Суржко С.В., Цейтлін Г.О., Шевченко А.I. Алгоритмічні алгебри
Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. Функции алгебры логики и классы Поста
Ягер Р.Р. Нечеткие множества и теория возможностей. Последние достижения