Peter H. Krauss
(1990-1999)
XHypothetical extensions of constructive mathematics
1995
in: The foundational debate, Dordrecht : Springer
(1990-1999)
XHypothetical extensions of constructive mathematics
1995
in: The foundational debate, Dordrecht : Springer