Die Einführung in die Theoretische Informatik und in die Mathematische Logik-Datenbank wurde freigegeben.