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