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...
share
research
∙
02/04/2020
