Citation:Csima, B. F. , Hirschfeldt, D. R. , Knight, J. F. , & Soare, R. I. . (2004). Bounding prime models. J. Symbolic Logic, 69, 1117–1142. doi:10.2178/jsl/1102022214Download CitationDOI BibTex Tagged XML WebsiteLast updated on 08/14/2019 DOI
