Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit ; Einführung in die Theorie der rekursiven Funktionen.
Guardado en:
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | German |
| Publicado: |
Berlin :
Springer,
1961.
|
| Series: | Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ;
Bd. 109. |
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| LEADER | 00954cam a22002531a 4500 | ||
|---|---|---|---|
| 001 | MAT.inmabb005478 | ||
| 008 | 840628s1961####wb#a#####b####000#0#ger## | ||
| 005 | 20160523153457.0 | ||
| 245 | 1 | 0 | |a Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit ; |b Einführung in die Theorie der rekursiven Funktionen. |
| 260 | |a Berlin : |b Springer, |c 1961. | ||
| 300 | |a 246 p. : |b il. ; |c 24 cm. | ||
| 490 | 1 | |a Die Grundlehren der mathematischen Wissenschaften ; |v Bd. 109 | |
| 504 | |a Includes bibliography. | ||
| 510 | 4 | |a MR, |c 26 #1252 | |
| 100 | 1 | |a Hermes, Hans. | |
| 830 | 0 | |a Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; |v Bd. 109. | |
| 650 | 0 | |a Recursive functions. | |
| 650 | 0 | |a Algorithms. | |
| 650 | 0 | |a Gödel's theorem. | |
| 650 | 0 | |a Computable functions. | |
| 084 | |a 03Dxx |2 msc2000 | ||
| 010 | |a 62001669 | ||
| 040 | |a DLC/ICU |c ICU |d DLC | ||
| 859 | |h 03 |i H553a |p A-1559 |b BIB. MATEMATICA | ||