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

Xehetasun bibliografikoak
Egile nagusia: Hermes, Hans
Beste egile batzuk: Hermann, G. T., Plassmann, O. (Itzultzailea)
Formatua: Printed Book
Hizkuntza:English
Argitaratua: Springer-Verlag, 1969.
Deskribapena
Deskribapenik ez dago.

Antzeko izenburuak