Enumerability, decidability, computability : an introduction to the theory of recursive functions / by Hans Hermes ; translated by G.T Herman and O. Plassmann.
Idioma: Inglés Lenguaje original: Alemán Series Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete: Bd. 127.Editor: Berlin : Springer-Verlag, 1965Descripción: ix, 245 p. : il. ; 24 cmTítulos uniformes: Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Inglés Tema(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 H553 (Browse shelf) | Available | A-2247 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
Traducción de: Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. 1961.
Incluye referencias bibliográficas e índice.
MR, 31 #5796
There are no comments on this title.