The Work
Subsystems of Analysis
The details
The Author
Harvey Friedman
The offers
