L. A. Harrington

Harvey Friedman's Research on the Foundations of Mathematics