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


Hans Hermes
Bok Tysk 1971

Detaljer

Bibliotek som har denne