A
A. Scedrov
4 works on record
Works

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