research
∙
08/17/2020
Further results and examples for formal mathematical systems with structural induction
In the former article "Formal mathematical systems including a structura...
research
∙
02/04/2020