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

Bibliografiska uppgifter
Huvudupphovsman: Hermes, Hans
Övriga upphovsmän: Hermann, G. T., Plassmann, O. (Översättare)
Materialtyp: Printed Book
Språk:English
Publicerad: Springer-Verlag, 1969.
Beskrivning
Ingen beskrivning tillgänglig.

Liknande verk