bn:02391272n
Noun Named Entity
JA
Harvey Friedman
EN
Harvey Friedman is an American mathematical logician at Ohio State University in Columbus, Ohio. Wikipedia
Relations
Sources