Goguen, J., & Meseguer, J. (1984). Completeness of many-sorted equational logic. CSLI.
Chicago Style (17th ed.) CitationGoguen, Joseph, and José Meseguer. Completeness of Many-sorted Equational Logic. Stanford, CA: CSLI, 1984.
MLA引文Goguen, Joseph, and José Meseguer. Completeness of Many-sorted Equational Logic. CSLI, 1984.
警告:這些引文格式不一定是100%准確.