Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
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.
KAHLE, REINHARD
2011.
THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES.
The Review of Symbolic Logic,
Vol. 4,
Issue. 2,
p.
205.
Cantini, Andrea
2016.
Advances in Proof Theory.
Vol. 28,
Issue. ,
p.
31.
Cantini, Andrea
2022.
Objects, Structures, and Logics.
Vol. 339,
Issue. ,
p.
311.