Peter Schuster
(2000-2009)
XDini's theorem in the light of reverse mathematics
2009
in: Logicism, intuitionism, and formalism, Dordrecht : Springer
(2000-2009)
XDini's theorem in the light of reverse mathematics
2009
in: Logicism, intuitionism, and formalism, Dordrecht : Springer