Отправить по sms: A short introduction to intuitionistic logic