Concatenation as a basis for arithmetic (1946)

by W V Quine
Venue:The Journal of Symbolic Logic