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


Hans Hermes
Bok Tysk 1961

Detaljer

Bibliotek som har denne