Soare, Computability theory and differential geometry (2004)

by R I
Venue:Bull. Symb. Logic, Volume 10, Number