Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen / Hans Hermes
Resource type: Ressourcentyp: BuchBookLanguage: German Series: Heidelberger Taschenbücher ; 87 : Sammlung InformatikPublisher: Berlin ; Heidelberg ; New York : Springer, 1978Edition: 3. AuflageDescription: XII, 258 Seiten : IllustrationenISBN:- 3540053344
- 3540088695
- 0387088695
- 511.33
Item type | Home library | Shelving location | Call number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|---|
Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 79 A 1007(3) | Available | 45518415090 | |||
Freihandbestand ausleihbar | Fachbibliothek Mathematik | Bibliothek / frei aufgestellt | Grundl./Logik / Her | Available | 09036115517 |
Total holds: 0