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