Ramsey’s theorem and Recursion Theory (1972)

by C G Jockusch
Venue:The Journal of Symbolic Logic