この資料をSMS送信: Kreative Aspekte der logischen Formalisierung