On 23/11/2012 9:12 AM, Peter Divianszky wrote: > > I noticed that "Classical Mathematics for a Constructive World" is not > published. It is: Mathematical Structures in Computer Science / Volume 21 / Special Issue 04 / August 2011, pp 861-882 DOI: http://dx.doi.org/10.1017/S0960129511000132 Jacques