126360

References

Josef Berger

Dini's theorem in the light of reverse mathematics

2009

with Schuster Peter

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

Open Access Link