Goguen, J., & Meseguer, J. (1984). Completeness of many-sorted equational logic. CSLI.
Cita Chicago (17th ed.)Goguen, Joseph, i José Meseguer. Completeness of Many-sorted Equational Logic. Stanford, CA: CSLI, 1984.
Cita MLA (8th ed.)Goguen, Joseph, i José Meseguer. Completeness of Many-sorted Equational Logic. CSLI, 1984.
Atenció: Aquestes cites poden no estar 100% correctes.