この資料をSMS送信: Logiques construites par une methode de deduction naturelle.