123781

References

Peter H. Krauss

Hypothetical extensions of constructive mathematics

1995

in: The foundational debate, Dordrecht : Springer

Open Access Link