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