TY  - RPRT
TI  - The Formalization of The Arithmetic System on The Ground of The Atomic Logic
AU  - T. J. Stepien
AU  - L. T. Stepien
PY  - 2016
DO  - 10.17265/2159-5291/2015.09.002
UR  - https://arxiv.org/abs/1603.09334
ID  - 1603.09334
ER  -