Elementary Arithmetic. Ostrin, G. E. & Wainer, S. S. Annals of Pure and Applied Logic, 133(1–3):275–292, 2005.
Elementary Arithmetic [pdf]Paper  bibtex   

Downloads: 0