Computability theory and differential geometry

by Robert I. Soare
Venue:Bull. Symbolic Logic