Don't have Telegram yet? Try it now!
https://blog.mathematics21.org/2019/11/01/a-book-for-mathematicians-and-programmers-axiomatic-theory-of-formulas/
A Book for Mathematicians and Programmers - Axiomatic Theory of Formulas