Ramsey's theorem and recursion theory (1972)

by C G Jockusch
Venue:Journal of Symbolic Logic