М., Физматгиз, Наука, 1959-1984.
В 1959 году Физматгиз (впоследствии - издательство Наука) приступил к реализации беспрецедентного проекта по изданию серии Математическая логика и основания математики. Большинство литературных источников по математической логике на русском языке увидело свет в рамках этого проекта и к настоящему времени превратилось в недоступные широкому кругу читателей раритеты.
Список книг, представленных в серии:
Гильберт Д., Бернайс П. - Основания математики (в 2-х томах).
Глушков В. М. - Синтез цифровых автоматов.
Гудстейн Р. Л. - Рекурсивный математический анализ.
Драгалин А. Г. - Математический интуционизм. Введение в теорию доказательств.
Ершов Ю. Л. - Проблемы разрешимости и конструктивные модели.
Ершов Ю. Л. - Теория нумераций.
Идельсон А. В., Минц Г. Е. - Математическая теория логического вывода.
Клини С., Весли Р. - Основания интуционистской математики с точки зрения теории рекурсивных функций.
Кушнер Б. А. - Лекции по конструктивному математическому анализу.
Марков А. А., Нагорный Н. М. - Теория алгорифмов.
Новиков П. С. - Конструктивная математическая логика с точки зрения классической.
Новиков П. С. - Элементы математической логики.
Расёва Е., Сикорский Р. - Математика метаматематики.
Робинсон А. - Введение в теорию моделей и математическую логику.
Смальян Р. - Теория формальных систем.
Трахтенброт Б. А., Бардзинь Я. М. - Конечные автоматы (Поведение и синтез).
Успенский В. А. - Лекции о вычислимых функциях.
Фейс Р. - Модальная логика.
Чень Ч., Ли Р. - Математическая логика и автоматическое доказательство теорем.
Шенфилд Дж. - Математическая логика.
Шенфилд Дж. - Степени неразрешимости.
Яблонский С. В., Гаврилов Г. П., Кудрявцев В. Б. - Функции алгебры логики и классы Поста.
В 1959 году Физматгиз (впоследствии - издательство Наука) приступил к реализации беспрецедентного проекта по изданию серии Математическая логика и основания математики. Большинство литературных источников по математической логике на русском языке увидело свет в рамках этого проекта и к настоящему времени превратилось в недоступные широкому кругу читателей раритеты.
Список книг, представленных в серии:
Гильберт Д., Бернайс П. - Основания математики (в 2-х томах).
Глушков В. М. - Синтез цифровых автоматов.
Гудстейн Р. Л. - Рекурсивный математический анализ.
Драгалин А. Г. - Математический интуционизм. Введение в теорию доказательств.
Ершов Ю. Л. - Проблемы разрешимости и конструктивные модели.
Ершов Ю. Л. - Теория нумераций.
Идельсон А. В., Минц Г. Е. - Математическая теория логического вывода.
Клини С., Весли Р. - Основания интуционистской математики с точки зрения теории рекурсивных функций.
Кушнер Б. А. - Лекции по конструктивному математическому анализу.
Марков А. А., Нагорный Н. М. - Теория алгорифмов.
Новиков П. С. - Конструктивная математическая логика с точки зрения классической.
Новиков П. С. - Элементы математической логики.
Расёва Е., Сикорский Р. - Математика метаматематики.
Робинсон А. - Введение в теорию моделей и математическую логику.
Смальян Р. - Теория формальных систем.
Трахтенброт Б. А., Бардзинь Я. М. - Конечные автоматы (Поведение и синтез).
Успенский В. А. - Лекции о вычислимых функциях.
Фейс Р. - Модальная логика.
Чень Ч., Ли Р. - Математическая логика и автоматическое доказательство теорем.
Шенфилд Дж. - Математическая логика.
Шенфилд Дж. - Степени неразрешимости.
Яблонский С. В., Гаврилов Г. П., Кудрявцев В. Б. - Функции алгебры логики и классы Поста.