Envoyer par SMS: Vvedenije v matematičeskuju logiku