TY  - RPRT
TI  - Further results and examples for formal mathematical systems with structural induction
AU  - Matthias Kunik
PY  - 2022
UR  - https://arxiv.org/abs/2008.07385
ID  - 2008.07385
ER  -