Friedman, Harvey, 1948-
Friedman, Harvey
Harvey Friedman American mathematician and logician
VIAF ID: 97827017 ( Personal )
Permalink: http://viaf.org/viaf/97827017
Preferred Forms
-
- 100 1 _ ‡a Friedman, Harvey
- 100 1 _ ‡a Friedman, Harvey
-
-
- 100 1 _ ‡a Friedman, Harvey ‡d 1948-
- 100 1 0 ‡a Friedman, Harvey, ‡d 1948-
-
-
- 100 0 _ ‡a Harvey Friedman ‡c American mathematician and logician
4xx's: Alternate Name Forms (10)
Works
Title | Sources |
---|---|
Foundational Adventures : essays in honour of Harvey M. Friedman | |
Harvey Friedman's research on the foundations of mathematics | |
A Language for Mathematical Knowledge Management | |
On a problem of H. Friedman and its solution by T. Prucnal |