Logik, Berechenbarkeit und Komplexität

Eine handschriftliche Version des Kapitels über Folgern und Schliessen ist online.