Отправить по sms: Logic and Proof Techniques /