All Subjects
Light
4.1
Free Algebras and Their Construction
4.2
Terms, Term Algebras, and Varieties
4.3
Identities and Equational Logic
4.4
Birkhoff's Theorem and Its Applications