Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen
Hans Hermes
Bok Tysk 1961
| Utgitt | Berlin : Springer , 1961
|
|---|---|
| Omfang | IX, 246 s. : ill.
|
| Emner | |
| ISBN | 0387053344. - 3540053344. - 9780387053349. - 9783540053347
|
