Completeness theorems for universal and implicational logics of algebras via congruences (0)

by R Quackenbush
Venue:Proc. AMS