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