@article{1183731534,
author = {Lob, M. H.},
title = {Concatenation as Basis for a Complete System of Arithmetic},
journal = {J. Symbolic Logic},
volume = {18},
number = {1},
year = {1953},
pages = { 1-6},
language = {en},
url = {http://dml.mathdoc.fr/item/1183731534}
}
Lob, M. H. Concatenation as Basis for a Complete System of Arithmetic. J. Symbolic Logic, Tome 18 (1953) no. 1, pp. 1-6. http://gdmltest.u-ga.fr/item/1183731534/