"Logik für Informatiker" von Stefan Kühling ist ein Lehrbuch, das sich an Studierende der Informatik richtet und die Grundlagen der Logik vermittelt, die für das Fachgebiet relevant sind. Das Buch behandelt zentrale Themen wie...