Harvey Friedman's research foundations of mathematics. - Elsevier Science Publishers, 1985. - ( Studies in Logic and the Foundations of Mathematics ; 117).