A. Scedrov

Harvey Friedman's Research on the Foundations of Mathematics

Harvey Friedman's Research on the Foundations of Mathematics (STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS)