Repository | Directory | Profile

126361

References

Peter Schuster

Dini's theorem in the light of reverse mathematics

2009

Josef Berger Peter Schuster

in: Logicism, intuitionism, and formalism, Dordrecht : Springer

Open Access Link