“Axiomatic Theory of Formulas: Algebraic Theory of Formulas”:
Mathematicians studied everything except formulas 🙂 Now there is an abstract axiomatic system for formulas, too. Read my book. For mathematicians, programmers, and students.
Math Research of Victor Porton
Algebraic General Topology, Axiomatic Theory of Formulas, (generalized) limit of arbitrary function