TY  - BOOK
AU  - Friedman,Harvey,1948-
AU  - Harrington,L.A
TI  - Harvey Friedman's research on the foundations of mathematics
PY  - 1985///
CY  - Amsterdam, New York, New York, N.Y., U.S.A., Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
PB  - North-Holland
KW  - Friedman, Harvey, 1948
KW  - Mathematics
KW  - Philosophy
KW  - Addresses, essays, lectures
N1  - 'Harvey Friedman's publications'--P
ER  -