Книжная серия | Математическая логика и основания математики [23 выпуска в 24 книгах] (1959 - 1993) [DJVU]
Автор: Книжная серия
Издательство: Физматгиз, Наука
Серия: Математическая логика и основания математики
Жанр: Математика
Формат: DJVU
Качество: Обработанный скан
Иллюстрации: Отсутствуют
Описание:В 1959 году Физматгиз (впоследствии - издательство ”Наука”) приступил к реализации беспрецедентного проекта по изданию серии ”Математическая логика и основания математики”. Большинство литературных источников по математической логике на русском языке увидело свет в рамках этого проекта и к настоящему времени превратилось в недоступные широкому кругу читателей раритеты.
- Гильберт Д., Бернайс П. - Основания математики. Том 1
- Гильберт Д., Бернайс П. - Основания математики. Том 2
- Глушков В.М. - Синтез цифровых автоматов - 1962
- Гудстейн Р.Л. - Рекурсивный математический анализ
- Драгалин А.Г. - Математический интуиционизм. Введение в теорию доказательств - 1979
- Ершов Ю.Л. - Проблемы разрешимости и конструктивные модели - 1980
- Ершов Ю.Л. - Теория нумераций
- Идельсон А.В., Минц Г.Е. - Математическая теория логического вывода
- Клини С., Весли Р. - Основания интуиционистской математики с точки зрения теории рекурсивных функций - 1978
- Кушнер Б.А. - Лекции по конструктивному математическому анализу - 1973
- Марков А. А., Нагорный М. Н. - Теория алгорифмов - 1984
- Матиясевич Ю.В. - Десятая проблема Гильберта - 1993
- Новиков П.С. - Конструктивная математическая логика с точки зрения классической
- Новиков П.С. - Элементы математической логики
- Расeва Е., Сикорский Р. - Математика метаматематики
- Робинсон А. - Введение в теорию моделей и математическую логику
- Смальян Р. - Теория формальных систем - 1981
- Трахтенброт Б.А., Бардзинь Я.М. - Конечные автоматы (Поведение и синтез) - 1970
- Успенский В.А. - Лекции о вычислимых функциях
- Фейс Р. - Модальная логика (Математическая логика и основания математики) - 1974
- Чень Ч., Ли Р. - Математическая логика и автоматическое доказательство теорем - 1983
- Шенфилд Дж. - Математическая логика
- Шенфилд Дж. - Степени неразрешимости - 1977
- Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. - Функции алгебры логики и классы Поста
Скриншоты:
Время раздачи: 24/7 (минимум до появления первых 3-5 скачавших) 
