123781

References

Peter H. Krauss

(1990-1999)

X
Hypothetical extensions of constructive mathematics

1995

in: The foundational debate, Dordrecht : Springer

Open Access Link