Поиск :
Личный кабинет :
Электронный каталог: Справочник серий издательств
К списку серий
Математическая логика и основания математики
Издательства: Наука, МоскваСвязанные описания:
Книга
Робинсон, Авраам
Введение в теорию моделей и метаматематику алгебры
Наука, 1967 г.
ISBN отсутствует
Робинсон, Авраам
Введение в теорию моделей и метаматематику алгебры
Наука, 1967 г.
ISBN отсутствует
Книга
Чень, Ч.
Математическая логика и автоматическое доказательство теорем
Наука, 1983 г.
ISBN отсутствует
Чень, Ч.
Математическая логика и автоматическое доказательство теорем
Наука, 1983 г.
ISBN отсутствует
Книга
Гильберт, Д.
Основания математики: логические исчисления и формализация арифметики
Наука, 1979 г.
ISBN отсутствует
Гильберт, Д.
Основания математики: логические исчисления и формализация арифметики
Наука, 1979 г.
ISBN отсутствует
Книга
Гильберт, Д.
Основания математики: логические исчисления и формализация арифметики
Наука, 1982 г.
ISBN отсутствует
Гильберт, Д.
Основания математики: логические исчисления и формализация арифметики
Наука, 1982 г.
ISBN отсутствует
Книга
Драгалин, А.Г.
Математический интуиционизм: введение в теорию доказательств
Наука, 1979 г.
ISBN отсутствует
Драгалин, А.Г.
Математический интуиционизм: введение в теорию доказательств
Наука, 1979 г.
ISBN отсутствует
Книга
Клини, Стефен Коул
Основания интуиционистской математики с точки зрения теории рекурсивных функций
Наука, 1978 г.
ISBN отсутствует
Клини, Стефен Коул
Основания интуиционистской математики с точки зрения теории рекурсивных функций
Наука, 1978 г.
ISBN отсутствует
Книга
Новиков, П.С.
Конструктивная математическая логика с точки зрения классической
Наука, 1977 г.
ISBN отсутствует
Новиков, П.С.
Конструктивная математическая логика с точки зрения классической
Наука, 1977 г.
ISBN отсутствует