"Logik für Informatiker" von Uwe Schöning ist ein grundlegendes Lehrbuch, das sich mit den logischen Prinzipien und Methoden beschäftigt, die in der Informatik Anwendung finden. Das Buch deckt wesentliche Themen der Logik ab, darunter...