Enviar aquest missatge de text: Completeness of many-sorted equational logic /