"Harvey Friedman's research on the foundations of mathematics" - читать интересную книгу автора (L. A. Harrington, M.D. Morley, A. Scedrov, S. G. Simpson)