book '' algebras intrinsic value separate detailed study also worthy comparative study sake light thereby thrown general theory symbolic reasoning algebraic symbolism particular comparative study necessarily presupposes previous separate study comparison impossible without knowledge '' ref name gratzer whitehead however results general nature work subject minimal early garrett birkhoff ystein ore began publishing universal algebras developments metamathematics category theory furthered field particularly
Formal science Mathematics Pure mathematics Algebra Universal algebra