Enumerability, Decidability, Computability : An Introduction to the Theory of Recursive Functions / Hans Hermes ; Translated by G. T. Herman and O. Plassman
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Hermes, Hans
|
| Titolo: |
Enumerability, Decidability, Computability : An Introduction to the Theory of Recursive Functions / Hans Hermes ; Translated by G. T. Herman and O. Plassman
|
| Pubblicazione: | Berlin, : Springer, 1969 |
| Titolo uniforme: | Aufzählbarkeit, Entscheidbarkeit Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen |
| Edizione: | 2. rev. ed |
| Descrizione fisica: | xii, 250 p. : ill. ; 24 cm |
| Soggetto topico: | 03-XX - Mathematical logic and foundations [MSC 2020] |
| 03Dxx - Computability and recursion theory [MSC 2020] | |
| 03D20 - Recursive functions and relations, subrecursive hierarchies [MSC 2020] | |
| Soggetto non controllato: | Algebra |
| Calculus | |
| Equations | |
| Functions | |
| Logic | |
| Mathematica | |
| Persona (resp. second.): | Herman, Gabor T. |
| Plassman, O. | |
| Titolo autorizzato: | Aufzählbarkeit, Entscheidbarkeit Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | VAN0254722 |
| Lo trovi qui: | Univ. Vanvitelli |
| Localizzazioni e accesso elettronico | https://doi.org/10.1007/978-3-642-46178-1 |
| Opac: | Controlla la disponibilità qui |
Serie:
Grundlehren der mathematischen Wissenschaften : A series of comprehensive texts in mathematics Berlin [etc.] . -Springer ; 127