Отправить по sms: A course in mathematical logic