Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Jäger, Gerhard
Kahle, Reinhard
and
Strahm, Thomas
1999.
Logic and Foundations of Mathematics.
p.
83.
Wood, Carol
2001.
2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000.
Bulletin of Symbolic Logic,
Vol. 7,
Issue. 1,
p.
82.
Studer, Thomas
2005.
Explicit mathematics: power types and overloading.
Annals of Pure and Applied Logic,
Vol. 134,
Issue. 2-3,
p.
284.
Andrea, Cantini
2009.
Logic from Russell to Church.
Vol. 5,
Issue. ,
p.
875.
KAHLE, REINHARD
2011.
THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES.
The Review of Symbolic Logic,
Vol. 4,
Issue. 2,
p.
205.
JÄGER, GERHARD
and
ZUMBRUNNEN, RICO
2014.
EXPLICIT MATHEMATICS AND OPERATIONAL SET THEORY: SOME ONTOLOGICAL COMPARISONS.
The Bulletin of Symbolic Logic,
Vol. 20,
Issue. 3,
p.
275.
Cantini, Andrea
2016.
Advances in Proof Theory.
Vol. 28,
Issue. ,
p.
31.
Cantini, Andrea
2017.
Reflections on the Foundations of Mathematics.
p.
251.
Cantini, Andrea
2022.
Objects, Structures, and Logics.
Vol. 339,
Issue. ,
p.
311.