Поиск :
Личный кабинет :
Электронный каталог: Клини, Стивен Коул - Основания интуиционистской математики с точки зрения теории рекурсивных функций
Клини, Стивен Коул - Основания интуиционистской математики с точки зрения теории рекурсивных функций
Доступно
2 из 3
2 из 3
Книга
Автор: Клини, Стивен Коул
Основания интуиционистской математики с точки зрения теории рекурсивных функций
Серия: Математическая логика и основания математики
Издательство: Наука, 1978 г.
ISBN отсутствует
Автор: Клини, Стивен Коул
Основания интуиционистской математики с точки зрения теории рекурсивных функций
Серия: Математическая логика и основания математики
Издательство: Наука, 1978 г.
ISBN отсутствует
Книга
517.5 К493
Клини, Стивен Коул.
Основания интуиционистской математики с точки зрения теории рекурсивных функций / С. Клини, Р. Весли ; Пер. с англ.: Ф. А. Кабакова, Б. А. Кушнера . - Москва : Наука, 1978 . - 271 с. - (Математическая логика и основания математики) . - библиогр.: с.254-266 . - На рус. яз. : 1.50 .
ББК 22.122
основной = математика : математическая логика : интуиционизм
педагогика = педагогика : профессиональное образование : педагогическое образование : организация высшего педагогического образования : система высшего педагогического образования : педагогические университеты : МПГУ : авторы МПГУ
00000000717498 МАТН 517.5 К493
00000000717499 МАТН 517.5 К493
00000000717500 МАТН 517.5 К493
517.5 К493
Клини, Стивен Коул.
Основания интуиционистской математики с точки зрения теории рекурсивных функций / С. Клини, Р. Весли ; Пер. с англ.: Ф. А. Кабакова, Б. А. Кушнера . - Москва : Наука, 1978 . - 271 с. - (Математическая логика и основания математики) . - библиогр.: с.254-266 . - На рус. яз. : 1.50 .
ББК 22.122
основной = математика : математическая логика : интуиционизм
педагогика = педагогика : профессиональное образование : педагогическое образование : организация высшего педагогического образования : система высшего педагогического образования : педагогические университеты : МПГУ : авторы МПГУ
00000000717498 МАТН 517.5 К493
00000000717499 МАТН 517.5 К493
00000000717500 МАТН 517.5 К493