Dieser Band bietet eine Einf hrung in die Semantik mit einem Schwerpunkt auf den formalen Methoden. Er erkl rt semantische Modelle sowie die Grundlagen der kompositionellen Interpretation und stellt die wichtigsten Konzepte vor, z.B. Funktionen, Junktoren, Quantoren wie auch Typentheorie, den Lambda-Operator und m gliche Welten. Die einzelnen Kapitel bauen sukzessive aufeinander auf, erl utern die modelltheoretischen Analysemethoden...