Soare, Applications of computability to differential geometry (0)

by B F Csima, R I