Отправить по sms: The elements of mathematical logic.