Sciweavers

TYPES
1995
Springer

A Constructive Proof of the Heine-Borel Covering Theorem for Formal Reals

14 years 4 months ago
A Constructive Proof of the Heine-Borel Covering Theorem for Formal Reals
Jan Cederquist, Sara Negri
Added 26 Aug 2010
Updated 26 Aug 2010
Type Conference
Year 1995
Where TYPES
Authors Jan Cederquist, Sara Negri
Comments (0)