Recursive Number Theory, North-Holland Publ (1957)

by R L Goodstein
Venue:Theory and Applications of Categories