Completeness of many-sorted equational logic (0)

by J A Goguen
Venue:Houston Journal of Mathematics