Friedman, Harvey 1948-

Harvey Friedman's research on the foundations of mathematics ( Book )
8 editions published in 1985 in English and held by 334 libraries worldwide
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.

Borel diagonalization theorems and second-order arithmetic by Tianwen Ling ( Book )
1 edition published in 1992 in English and held by 1 library worldwide