Classical Mathematics for a Constructive World.

Fri, 01 Jan 2010 00:00:00 +0100

Russell O'Connor:
Classical Mathematics for a Constructive World. CoRR abs/1008.1213 (2010)