Ein einführendes Werk, das die Schnittstelle von formaler Logik und KI-Sprachmodellen in der Informatik erklärt, mit klaren Erklärungen, Beispielen und Anwendungen für Studierende.