Harvey Friedman's research on the foundations of mathematics /
edited by L.A. Harrington ... [et al.].
- Amsterdam ; New York : New York, N.Y., U.S.A. : North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., c1985.
- xvi, 408 p. : ill., ports. ;
- Studies in Logic and the foundations of mathematics ;117 .