發送短信 : Elementos de lógica teórica /