Пошук :
Личный кабинет :
Электронный каталог: Довідник серій видавництв
К списку серий
Математическая логика и основания математики
Издательства: Наука, М.Зв'язані описи:
Замовити 
На полицю
Книга
Робинсон, Авраам
Введение в теорию моделей и метаматематику алгебры
Наука, 1967 г.
ISBN відсутній
Робинсон, Авраам
Введение в теорию моделей и метаматематику алгебры
Наука, 1967 г.
ISBN відсутній
Книга
Чень Ч.
Математическая логика и автоматическое доказательство теорем
Наука, 1983 г.
ISBN відсутній
Чень Ч.
Математическая логика и автоматическое доказательство теорем
Наука, 1983 г.
ISBN відсутній
Книга
Гильберт, Давид
Основания математики. Логические исчисления и формализация арифметики
Наука, 1982 г.
ISBN відсутній
Гильберт, Давид
Основания математики. Логические исчисления и формализация арифметики
Наука, 1982 г.
ISBN відсутній
Книга
Гильберт, Давид
Основания математики. Логические исчисления и формализация арифметики
Наука, 1979 г.
ISBN відсутній
Гильберт, Давид
Основания математики. Логические исчисления и формализация арифметики
Наука, 1979 г.
ISBN відсутній
Книга
Клини, Стефен Коул
Основания интуиционистской математики с точки зрения теории рекурсивных функций
The foundations of intuitionistic matcs especially in recursive functions
Наука, 1978 г.
ISBN відсутній
Клини, Стефен Коул
Основания интуиционистской математики с точки зрения теории рекурсивных функций
The foundations of intuitionistic matcs especially in recursive functions
Наука, 1978 г.
ISBN відсутній
Книга
Кушнер, Борис Абрамович
Лекции по конструктивному математическому анализу
Наука, 1973 г.
ISBN відсутній
Кушнер, Борис Абрамович
Лекции по конструктивному математическому анализу
Наука, 1973 г.
ISBN відсутній