Αποστολή με SMS: Einführung in die mathematische Logik