Das erfolgreiche Studienbuch liegt nun in der vierten Auflage vor; das bewährte Konzept wurde beibehalten. Das Werk ist für Studienanfänger sowie für Studierende mit mathematischen Vorkenntnissen oder mit Kenntnis formaler Semantik gleichermassen gewinnbringend zu lesen. Übungsaufgaben erschliessen den Stoff. Die neue Auflage wurde aktualisiert und durchgesehen; die Lösungen sind nun im Buch enthalten.