Repository | People

126361

References

Peter Schuster

Dini's theorem in the light of reverse mathematics

2009

with Berger Josef

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

Open Access Link