Repository | Directory | Profile
Josef Berger
Dini's theorem in the light of reverse mathematics
2009
in: Logicism, intuitionism, and formalism, Dordrecht : Springer
Central and East European
Society for Phenomenology
Central and East European
Society for Phenomenology
Repository | Directory | Profile
Dini's theorem in the light of reverse mathematics
2009
in: Logicism, intuitionism, and formalism, Dordrecht : Springer