Laddar...

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.

University of Calicut

Beståndsuppgifter i University of Calicut
Signum: 515.5 HER/E
Exemplar Status otillgänglig