Ein prägnantes Taschenbuch aus dem Jahr 1998 eröffnet die Welt der formalen Logik, verbindet klare Definitionen mit philosophischen Fragestellungen und illustriert Konzepte durch anschauliche Beispiele.