Dieser Band bietet eine Einführung in die Semantik mit einem Schwerpunkt auf der formalen Semantik. Er erklärt die Grundlagen von Modellen sowie von semantischer Interpretation und stellt die wichtigsten Konzepte vor, z.B. Funktionen, Junktoren, Quantoren wie auch Typentheorie, Lambda-Notation und mögliche Welten. Die einzelnen Kapitel bauen sukzessive aufeinander auf, erläutern die modell-theoretischen Analysemethoden der Semantik und schaffen Studierenden somit einen Zugang zu den Grundlagen formal-semantischer Analyse. - In zweifarbiger Gestaltung mit vielen Beispielen, Übungen und einem Sachregister.