TY  - BOOK
AU  - Harrington L A
AU  - Moley M D
AU  - Scedrov A
AU  - Simpson S G
TI  - Harvey Friedman's research on the foundations of mathematics
U1  - 510.1 
PY  - 1985///
CY  - Amsterdam
PB  - North-Holland
KW  - Mathematics
ER  -