@misc{indiciae8ad9ddaa6763,
  title = {The Formalization of The Arithmetic System on The Ground of The Atomic Logic},
  author = {T. J. Stepien and L. T. Stepien},
  year = {2016},
  doi = {10.17265/2159-5291/2015.09.002},
  url = {https://arxiv.org/abs/1603.09334},
  note = {Source identifier: 1603.09334}
}