TY  - RPRT
TI  - Polymultisets, Multisuccessors, and Multidimensional Peano Arithmetics
AU  - Alexander Chunikhin
PY  - 2011
UR  - https://arxiv.org/abs/1201.1820
ID  - 1201.1820
ER  -