Posts’s program and incomplete recursively enumerable sets (1991)

by L Harrington, R I Soare
Venue:Proc. Nat. Acad. Sci U.S.A