Отправить по sms: Completeness of many-sorted equational logic /