Harvey Friedman

US-American mathematician and logician
Lists
Harvey Friedman is in following lists