1992], A constructive interpretation of classical mathematics (1992)

by P Krauss
Venue:Math. Schriften Kassel, Preprint