Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit; : Einführung in die Theorie der rekursiven Funktionen

Bok av Hans Hermes