Repository | Directory | Profile
Peter Aczel
A constructive version of the lusin separation theorem
2009
in: Logicism, intuitionism, and formalism, Dordrecht : Springer
Local constructive set theory and inductive definitions
2011
in: Foundational theories of classical and constructive mathematics, Dordrecht : Springer