Αποστολή με SMS: Advances in Proof-Theoretic Semantics