Enviar por SMS: Einführung in die mathematische Logik