G Birkhoff 1935 HSP-theorem variety = HSP(class); modern modern foundational text + universal-property + free-algebra construction.
G Birkhoff 1935 HSP-theorem variety = HSP(class); modern modern foundational text + universal-property + free-algebra construction.