Peter Aczel
(2000-2009)
XA constructive version of the lusin separation theorem
2009
in: Logicism, intuitionism, and formalism, Dordrecht : Springer
(2000-2009)
XA constructive version of the lusin separation theorem
2009
in: Logicism, intuitionism, and formalism, Dordrecht : Springer