Concatenation as a basis for arithmetic (1946)

by W Quine
Venue:Journal of Symbolic Logic