Formale Grundlagen der Informatik Winter Grundlagen der formalen Logik

Preiswert, sehr ausführlich, viele Beispiele, allerdings nur Behandlung der Aussagenlogik. Anmerkung: Die Disjunktion heißt in diesem Buch "Adjunktion".