Applications of Computability Theory to Prime Models and Differential Geometry (2003)

by B F Csima