Электронный каталог МПГУ -Клини, Стивен Коул - Функционалы конечных типов, вычислимые на машинах Тьюринга- Absopac

Поиск :

Личный кабинет :

Электронный каталог: Клини, Стивен Коул - Функционалы конечных типов, вычислимые на машинах Тьюринга

Клини, Стивен Коул - Функционалы конечных типов, вычислимые на машинах Тьюринга

Книга (аналит. описание)
Автор: Клини, Стивен Коул
Математическая логика и ее применения: Функционалы конечных типов, вычислимые на машинах Тьюринга
б.г.
ISBN отсутствует

На полку

Книга (аналит. описание)

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

основной = математика : математическая логика
основной = математика : математическая логика : теория алгоритмов и вычислимых функций : машина Тьюринга