Diese neu erarbeitete philosophische Einführung in die formale Logik zeichnet sich durch Klarheit und Übersichtlichkeit sowie durch didaktische Kompetenz aus. Sie behandelt nach einer grundsätzlichen Einleitung die Gebiete der Aussagenlogik und der Prädikatenlogik jeweils in paralleler Gliederung. Ein Kapitel über den mathematischen Zugang zur Aussagenlogik schliesst den Hauptteil des Lehrbuchs ab.