發送短信 : Mathematical logic in computer science /