A derivation on number theory from ancestral theory (1952)

by J Myhill
Venue:Journal of Symbolic Logic