Hirst, Jeffry L
-
Vol 4 (2012) - Articles
More reverse mathematics of the Heine-Borel Theorem
Details 6. [PDF] -
Vol 4 (2012) - Articles
Reverse mathematics, trichotomy, and dichotomy
Details 13. [PDF]
Journal of Logic and Analysis ISSN: 1759-9008