Study of Unified algebra

Abstract

I present a unified algebra that includes what are commonly called boolean algebra, number algebra, sets, lists, functions, quantification, type theory, and limits; this mathematics forms the foundation for much of computer science. I present the notations and the rules for the conduct of algebra, but it is not the purpose here to explore the possibilities for their use. I am laying foundations, not building upon them; I am designing the instrument, not playing the music. To appreciate the algebra, I rely on the reader's experience in using algebra.