SMS versenden: Issledovanija po neklassičeskim logikam i formal'nym sistemam