More reverse mathematics of the Heine-Borel Theorem

Jeffry L Hirst, Jessica Miller

Full Text:

6. [PDF]


DOI: https://doi.org/10.4115/jla.2012.4.6

Creative Commons License
This work is licensed under a Creative Commons Attribution 3.0 License.

Journal of Logic and Analysis ISSN:  1759-9008