Berechenbarkeitstheorie
Aus ProgrammingWiki
Archivierte Version vom 2012-04-15T07:25:05+00:00. Aktuelle Version
Begleit-PW zum Buch "Einführung in die Berechenbarkeitstheorie" von CW
Entscheidbarkeit und Aufzählbarkeit
Turing-Berechenbarkeit und Churchsche These