Enumerability, decidability computability: an introduction to the theory of recursive functions /

Библиографические подробности
Главный автор: Hermes, Hans
Другие авторы: Hermann, G. T., Plassmann, O. (Переводчик)
Формат: Printed Book
Язык:English
Опубликовано: Springer-Verlag, 1969.
Описание
Недоступно описание.

Схожие документы