Semantik

Knapper und gut strukturierter Überblick über alle Aspekte und Bereiche der formalen, modell-theoretischen Semantik Alle grundlegenden Konzepte wie Typentheorie und Lambda-Notation werden detailliert und verständlich eingeführt Im zweifarbigen Layout mit Definitionen, zahlreichen Beispielen und Analyseaufgaben (Lösungen als Online-Material) In seinem didaktischen Aufbau und seiner Vorgehensweise konkurrenzlosMit einem Sachregister auch der englischen Fachbegriffe