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