Beyond Gödel’s Theorem: Turing nonrigidity revisited (1998)

by S B Cooper
Venue:In Logic Colloquium ’95