TY - RPRT TI - A trivial formalization of the theory of grossone AU - A. E. Gutman AU - S. S. Kutateladze PY - 2008 UR - https://arxiv.org/abs/0808.1164 ID - 0808.1164 ER -