A. Scedrov

• Harvey Friedman's Research on the Foundations of Mathematics (STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS)
• Categories, Allegories
• Harvey Friedman's Research on the Foundations of Mathematics
• Logic and Computer Science