Concatenation as Basis for a Complete System of Arithmetic.

M. H. Lob Concatenation as Basis for a Complete System of Arithmetic. 1-6 1953 18 J. Symb. Log. 1 db/journals/jsyml/jsyml18.html#Lob53