Semantical completeness theorems in logic and algebra (1980)

by V Lifschitz
Venue:Proceedings of the American Mathematical Society