Aufza?hlbarkeit, entscheidbarkeit, berechenbarkeit : einfu?hrung in die theorie der rekursiven funktionen /

Main Author: Hermes, Hans
Format: Book
Language:German
Published: Berlin New York: Springer-Verlag, 1971
Edition:2nd
Series:Heidelberger Taschenbu?cher ; Bd. 87
Subjects:
ΒιβλιοθήκηΤαξιθετικός αριθμόςΑριθμός ΑντιτύπωνΠληροφορίεςΚατάσταση
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών511.352 HerH a 19711ΠροβολήOPAC