Peter H. Krauss
in English
XHypothetical extensions of constructive mathematics
1995
in: The foundational debate, Dordrecht : Springer
in English
XHypothetical extensions of constructive mathematics
1995
in: The foundational debate, Dordrecht : Springer