TY  - RPRT
TI  - First- and Second-Order Models of Recursive Arithmetics
AU  - Ján Kľuka
AU  - Paul J. Voda
PY  - 2017
UR  - https://arxiv.org/abs/1705.05459
ID  - 1705.05459
ER  -