Finite Trees And The Necessary Use Of Large Cardinals (1998)

by By Harvey Friedman , Harvey M. Friedman
Citations:3 - 1 self