发送短信 : Mathematical problems from applied logic II :