Enumerability, decidability, computability.: An introduction to the theory of recursive functions/
| Main Author: | |
|---|---|
| Other Authors: | , |
| Format: | Book |
| Language: | English German |
| Published: |
Berlin:
Springer-Verlag,
1969
|
| Series: | Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berucksichtigung der Anwendungsgebiete
127 |
| Subjects: |
| Βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός Αντιτύπων | Πληροφορίες | Κατάσταση |
|---|---|---|---|---|
| Πανεπιστήμιο Κύπρου - Ανοιχτό Πανεπιστήμιο Κύπρου | QA248.5.H413 1969 | 2 | Προβολή | OPAC |