この資料をSMS送信: Mathematical logic and formal systemss: a collection of