Computing with Classical Real Numbers.

Thu, 01 Jan 2009 00:00:00 +0100

Cezary Kaliszyk , Russell O'Connor:
Computing with Classical Real Numbers. J. Formaliz. Reason. 2(1): 27-39 (2009)