Αποστολή με SMS: Proof Theory in Computer Science