Aufzählbarkeit, Entscheidbarkeit Berechenbarkeit, einführung in die Theorie der rekursiven Funktionen
著者
書誌事項
Aufzählbarkeit, Entscheidbarkeit Berechenbarkeit, einführung in die Theorie der rekursiven Funktionen
（Heidelberger Taschenbücher, 87）
Springer, 1971
2. Aufl
- : gw
- : us