Enviar por SMS: Vvedenije v matematičeskuju logiku