Media type: E-Book Title: Harvey Friedman's research on the foundations of mathematics Contributor: Friedman, Harvey [Other]; Harrington, L. A. [Other] Corporation: ScienceDirect (Online service) imprint: Amsterdam; New York: North-Holland, c1985 New York, N.Y., U.S.A: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co, c1985 Online-Ausg.] Published in: Studies in logic and the foundations of mathematics ; 117 Extent: Online-Ressource; xvi, 408 p; ill., ports; 23 cm Language: English ISBN: 0444878343; 9780444878342 RVK notation: SK 130 : Logik und Grundlagen, Metamathematik, Keywords: Mathematische Logik Reproductino series: Elsevier e-book collection on ScienceDirect Type of reproduction: Online-Ausg.] Origination: Footnote: "Harvey Friedman's publications."--P. 405-408