Поиск :
Личный кабинет :
Электронный каталог: Майхилл, Джон - Типы рекурсивной эквивалентности и комбинаторные функции
Майхилл, Джон - Типы рекурсивной эквивалентности и комбинаторные функции
Книга (аналит. описание)
Автор: Майхилл, Джон
Математическая логика и ее применения: Типы рекурсивной эквивалентности и комбинаторные функции
б.г.
ISBN отсутствует
Автор: Майхилл, Джон
Математическая логика и ее применения: Типы рекурсивной эквивалентности и комбинаторные функции
б.г.
ISBN отсутствует
Книга (аналит. описание)
Майхилл, Джон.
Типы рекурсивной эквивалентности и комбинаторные функции / Дж. Майхилл; пер. Б. А. Трахтенброта // Математическая логика и ее применения : сборник статей : пер. с англ. / Под ред. Э. Нагела, А. И. Мальцева [и др.] . – Москва : Мир, 1965. – С. 47-59. – На рус. яз.
основной = математика : математическая логика : теория алгоритмов и вычислимых функций
основной = математика : математическая логика
основной = множества
основной = математика : математическая логика : теория алгоритмов и вычислимых функций : вычислимые функции
Майхилл, Джон.
Типы рекурсивной эквивалентности и комбинаторные функции / Дж. Майхилл; пер. Б. А. Трахтенброта // Математическая логика и ее применения : сборник статей : пер. с англ. / Под ред. Э. Нагела, А. И. Мальцева [и др.] . – Москва : Мир, 1965. – С. 47-59. – На рус. яз.
основной = математика : математическая логика : теория алгоритмов и вычислимых функций
основной = математика : математическая логика
основной = множества
основной = математика : математическая логика : теория алгоритмов и вычислимых функций : вычислимые функции