Repository | Directory | Profile

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

Dini's theorem in the light of reverse mathematics
2009
in: Logicism, intuitionism, and formalism, Dordrecht : Springer