Αποστολή με SMS: Proof theory and intuitionistic systems /