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