Contributions to recursion theory on higher types (or, a proof of Harrington's conjecture),
Author(s)Harrington, Leo Anthony
Gerald E. Sacks.
MetadataShow full item record
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 1973.Vita.Bibliography: leaves 93-95.
DepartmentMassachusetts Institute of Technology. Department of Mathematics
Massachusetts Institute of Technology