Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Cook, Roy T
2024.
The Logic of Potential Infinity.
Philosophia Mathematica,
Trufaş, Dafina
2024.
Intuitionistic Propositional Logic in Lean.
Electronic Proceedings in Theoretical Computer Science,
Vol. 410,
Issue. ,
p.
133.