Computability an introduction to recursive function theory

Computability an introduction to recursive function theory

Показать все версии (2)
Библиографические подробности
Главный автор: Cutland, Nigel
Формат: ‌
Опубликовано: Cambridge, [Eng.], New York Cambridge University Press 1980.
Предметы:
Computable functions.
Recursion theory.