Математическая логика и основания математики

Гудстейн Р.Л. - Рекурсивный математический анализ.djvu

Гудстейн Р.Л. - Рекурсивный математический анализ.djvu

Гильберт Д., Бернайс П. - Основания математики. Том 2.djvu

Гильберт Д., Бернайс П. - Основания математики. Том 2.djvu

Глушков В.М. - Синтез цифровых автоматов - 1962.djvu

Глушков В.М. - Синтез цифровых автоматов - 1962.djvu

Гильберт Д., Бернайс П. - Основания математики. Том 1.djvu

Гильберт Д., Бернайс П. - Основания математики. Том 1.djvu

Драгалин А.Г. - Математический интуиционизм. Введение в теорию доказательств - 1979.djvu

Драгалин А.Г. - Математический интуиционизм. Введение в теорию доказательств - 1979.djvu

Ершов Ю.Л. - Проблемы разрешимости и конструктивные модели - 1980.djvu

Ершов Ю.Л. - Проблемы разрешимости и конструктивные модели - 1980.djvu

Ершов Ю.Л. - Теория нумераций.djvu

Ершов Ю.Л. - Теория нумераций.djvu

Идельсон А.В., Минц Г.Е. - Математическая теория логического вывода.djvu

Идельсон А.В., Минц Г.Е. - Математическая теория логического вывода.djvu

Клини С., Весли Р. - Основания интуиционистской математики с точки зрения теории рекурсивных функций - 1978.djvu

Клини С., Весли Р. - Основания интуиционистской математики с точки зрения теории рекурсивных функций - 1978.djvu

Кушнер Б.А. - Лекции по конструктивному математическому анализу - 1973.djvu

Кушнер Б.А. - Лекции по конструктивному математическому анализу - 1973.djvu

Марков А. А., Нагорный М. Н. - Теория алгорифмов - 1984.djvu

Марков А. А., Нагорный М. Н. - Теория алгорифмов - 1984.djvu

Матиясевич Ю.В. - Десятая проблема Гильберта - 1993.djvu

Матиясевич Ю.В. - Десятая проблема Гильберта - 1993.djvu

Новиков П.С. - Конструктивная математическая логика с точки зрения классической.djvu

Новиков П.С. - Конструктивная математическая логика с точки зрения классической.djvu

Новиков П.С. - Элементы математической логики.djvu

Новиков П.С. - Элементы математической логики.djvu

Расeва Е., Сикорский Р. - Математика метаматематики.djvu

Расeва Е., Сикорский Р. - Математика метаматематики.djvu

Робинсон А. - Введение в теорию моделей и математическую логику.djvu

Робинсон А. - Введение в теорию моделей и математическую логику.djvu

Смальян Р. - Теория формальных систем - 1981.djvu

Смальян Р. - Теория формальных систем - 1981.djvu

Трахтенброт Б.А., Бардзинь Я.М. - Конечные автоматы (Поведение и синтез) - 1970.djvu

Трахтенброт Б.А., Бардзинь Я.М. - Конечные автоматы (Поведение и синтез) - 1970.djvu

Успенский В.А. - Лекции о вычислимых функциях.djvu

Успенский В.А. - Лекции о вычислимых функциях.djvu

Фейс Р. - Модальная логика (Математическая логика и основания математики) - 1974.djvu

Фейс Р. - Модальная логика (Математическая логика и основания математики) - 1974.djvu

Чень Ч., Ли Р. - Математическая логика и автоматическое доказательство теорем - 1983.djvu

Чень Ч., Ли Р. - Математическая логика и автоматическое доказательство теорем - 1983.djvu

Шенфилд Дж. - Математическая логика.djvu

Шенфилд Дж. - Математическая логика.djvu

Шенфилд Дж. - Степени неразрешимости - 1977.djvu

Шенфилд Дж. - Степени неразрешимости - 1977.djvu

Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. - Функции алгебры логики и классы Поста.djvu

Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. - Функции алгебры логики и классы Поста.djvu