Enumerability, decidability, computability : an introduction to the theory of recursive functions /
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | Book |
| Language: | English German |
| Published: |
Berlin ; New York:
Springer,
1969
|
| Edition: | 2nd rev. ed. |
| Series: | Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berucksichtigung der Anwendungsgebiete
Bd. 127 |
| Subjects: |
| Βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός Αντιτύπων | Πληροφορίες | Κατάσταση |
|---|---|---|---|---|
| Δημοκρίτειο Πανεπιστήμιο Θράκης | QA 9 .615 | 1 | Προβολή | OPAC |