R. L Goodstein

• Axiomatic projective geometry,
• Complex functions;
• Recursive analysis (Studies in logic and the foundations of mathematics)
• Recursive number theory;