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

Dettagli Bibliografici
Autore principale: Hermes, Hans
Altri autori: Hermann, G. T., Plassmann, O. (Traduttore)
Natura: Printed Book
Lingua:English
Pubblicazione: Springer-Verlag, 1969.
Descrizione
Descrizione non disponibile.

Documenti analoghi