Buchportal für Bücher die eine ISBN tragen.

Mathematik: Logik

Hans Hermes ×Springer Berlin ×

Buchcover Aufzählbarkeit Entscheidbarkeit Berechenbarkeit

Aufzählbarkeit Entscheidbarkeit Berechenbarkeit

Einführung in die Theorie der rekursiven Funktionen

Springer Berlin