Harvey Friedman's Research on the Foundations of Mathematics 
L.A. Harrington, M.D. Morley, A. Sĉêdrov, S.G. Simpson 
 -  Elsevier  1985 
 -  117 .
<br/><br/><label>ISBN: </label>9780444878342 978-0-444-87834-2