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
|