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