A carregar...

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

Detalhes bibliográficos
Autor principal: Hermes, Hans
Outros Autores: Hermann, G. T., Plassmann, O. (Translator)
Formato: Printed Book
Idioma:English
Publicado em: Springer-Verlag, 1969.