Friedman’s Research on Subsystems of Second Order Arithmetic,” in Leo Harrington et al. eds (1985)

by Stephen G Simpson
Venue:Harvey Friedman’s Research on the Foundations of Mathematics, North-Holland