Zaslat SMS: Einführung in die Logik und Mathematik für Linguisten