R.L. Goodstein

• Recursive number theory