TY  - RPRT
TI  - Induction Models on \mathbb{N}
AU  - A. Dileep
AU  - Kuldeep S. Meel
AU  - Ammar F. Sabili
PY  - 2020
DO  - 10.29007/kvp3
UR  - https://arxiv.org/abs/2008.06410
ID  - 2008.06410
ER  -