Dieser in der Sammlung Göschen so erfolgreiche Band erscheint jetzt in zweiter Auflage als de Gruyter Studienbuch. Der Band wurde sachlich überarbeitet und nach didaktischen Gesichtspunkten neu strukturiert. 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.