Отправить по sms: Introductory formal logic of mathematics