This paper deals with the development of universal algebras. We first investigate how the abstract algebra has emerged as a common generalization of arithmetic and algebra of logic, which was finalized by A. N. Whitehead in his "A treatise on universa...
This paper deals with the development of universal algebras. We first investigate how the abstract algebra has emerged as a common generalization of arithmetic and algebra of logic, which was finalized by A. N. Whitehead in his "A treatise on universal algebra with applications." And we investigate also the process of formalizing universal algebras by G. Birkhoff. Birkhoff.