John Myhill. A derivation of number theory from ancestral theory. The journal of symbolic logic, Bd. 17 (1952), pp. 192–197.
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):