Berechenbarkeit

Logik, Argumentation, Rechner und Assembler, Unendlichkeit, Grenzen der Automatisierbarkeit Lehrbuch für Unterricht und Selbststudium