@article{10_4064_fm_92_3_223_245, author = {D. Jensen and A. Ehrenfeucht}, title = {Some problem in elementary arithmetics}, journal = {Fundamenta Mathematicae}, pages = {223--245}, publisher = {mathdoc}, volume = {92}, number = {3}, year = {1976}, doi = {10.4064/fm-92-3-223-245}, language = {en}, url = {http://geodesic.mathdoc.fr/articles/10.4064/fm-92-3-223-245/} }