Αποστολή με SMS: Proof Theory for Fuzzy Logics