TY - BOOK ID - 88207265 TI - Harvey Friedman's research on the foundations of mathematics AU - Friedman, Harvey AU - Harrington, L. A. PY - 1985 SN - 9780444878342 0444878343 9780080960401 0080960405 1282034863 9781282034860 9786612034862 PB - 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., DB - UniCat KW - Philosophy KW - Mathematics KW - Philosophy. KW - Friedman, Harvey, KW - Logic of mathematics KW - Mathematics, Logic of UR - https://www.unicat.be/uniCat?func=search&query=sysid:88207265 AB - This volume discusses various aspects of Harvey Friedman's research in the foundations of mathematics over the past fifteen years. It should appeal to a wide audience of mathematicians, computer scientists, and mathematically oriented philosophers. ER -