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
2011
with Bell John L.
in: Foundational theories of classical and constructive mathematics, Dordrecht : Springer
