S. G. SimpsonBooksHarvey Friedman's Research on the Foundations of MathematicsThomas Edward BrownAuthor data: Open Library