Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit ; Einführung in die Theorie der rekursiven Funktionen.
Series Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete: Bd. 109.Editor: Berlin : Springer, 1961Descripción: 246 p. : il. ; 24 cmTema(s): Recursive functions | Algorithms | Gödel's theorem | Computable functionsOtra clasificación: 03DxxItem type | Home library | Shelving location | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Libros | Instituto de Matemática, CONICET-UNS | Libros ordenados por tema | 03 H553a (Browse shelf) | Available | A-1559 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
Includes bibliography.
MR, 26 #1252
There are no comments on this title.