Stephen G. Simpson

• Kurt Godel
• Subsystems of Second Order Arithmetic
• Subsystems of Second Order Arithmetic
• Reverse Mathematics 2001