Repository | Directory | Profile
References
Peter H. Krauss
Hypothetical extensions of constructive mathematics
1995
in: The foundational debate, Dordrecht : Springer
Repository | Directory | Profile
Hypothetical extensions of constructive mathematics
1995
in: The foundational debate, Dordrecht : Springer