Explicit mathematics and operational set theory: some ontological comparisons. Jäger, G. & Zumbrunnen, R. The Bulletin of Symbolic Logic, 20:275–292, 9, 2014.
Explicit mathematics and operational set theory: some ontological comparisons [pdf]Paper  doi  bibtex   

Downloads: 0