Αποστολή με SMS: Computational Logic and Proof Theory