"Logik für Informatiker" von Stefan Kühling ist ein Fachbuch, das sich mit den grundlegenden Konzepten der Logik befasst, die für das Studium und die Praxis der Informatik von Bedeutung sind. Das Buch bietet eine umfassende Einführung in...