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