Math Research of Victor Porton

“Axiomatic Theory of Formulas: Algebraic Theory of Formulas”:

• Paperback
• E-book
• Homepage

Mathematicians studied everything except formulas 🙂 Now there is an abstract axiomatic system for formulas, too. Read my book. For mathematicians, programmers, and students.