Return to Article Details Computing with Classical Real Numbers Download Download PDF