Logik für die Informatik Eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie Junker Markus Heftet / 2025 / Tysk
