More reverse mathematics of the Heine-Borel Theorem

Jeffry L. Hirst, Jessica Miller. More reverse mathematics of the Heine-Borel Theorem. J. Logic & Analysis, 4, 2012. [doi]

Authors

Jeffry L. Hirst

This author has not been identified. Look up 'Jeffry L. Hirst' in Google

Jessica Miller

This author has not been identified. Look up 'Jessica Miller' in Google