128662

References

Giovanni Sommaruga

Conclusion: a perspective on future research in fom

2011

with Bell John L.

in: Foundational theories of classical and constructive mathematics, Dordrecht : Springer

Open Access Link