Harvey Friedman (Q951297)
American mathematician and logician
Language: