Basic Properties of Real Numbers (1989)

Cached

Download Links

by Krzysztof Hryniewiecki
Venue:Journal of Formalized Mathematics
Citations:545 - 3 self