aspects of recursive function theory (1985)

by Mathematical
Venue:In Harvey Friedman’s research on the foundations of mathematics, L.A.Harrington ed., pp.339-352, Elsevier Science