Book

Harvey Friedman's Research on the Foundations of Mathematics

by L. A. Harrington, Morley, A. Scedrov, S. G. Simpson