Formale Grundlagen der Informatik Bucher Einführung in die angewandte Logik

Sehr anschauliche und ausführliche Einführung in die Aussagen- und Prädikatenlogik, sehr viele Beispiele mit Lösungen.