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