أرسل هذا في رسالة قصيرة: Completeness of many-sorted equational logic /