SMS versenden: Einführung in die mathematische Logik