この資料をSMS送信: Handbook of logic in computer science.