Ein kompakter Leitfaden, der die Verbindung zwischen formaler Logik und sprachlicher Bedeutung in klaren Beispielen und präzisen Definitionen aufzeigt und sowohl Studierende als auch Fachleute anspricht.