Goguen, J., & Meseguer, J. (1984). Completeness of many-sorted equational logic. CSLI.
Չիկագոյի ոճի (17րդ խմբ.) մեջբերումGoguen, Joseph, and José Meseguer. Completeness of Many-sorted Equational Logic. Stanford, CA: CSLI, 1984.
MLA (8րդ խմբ.) ՄեջբերումGoguen, Joseph, and José Meseguer. Completeness of Many-sorted Equational Logic. CSLI, 1984.
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.