Citation:Csima, B. F. , & Soare, R. I. . (2006). Computability results used in differential geometry. J. Symbolic Logic, 71, 1394–1410. doi:10.2178/jsl/1164060462Download CitationDOI BibTex Tagged XML WebsiteLast updated on 08/14/2019 DOI
