Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Kirst, Dominik
and
Larchey-Wendling, Dominique
2020.
Automated Reasoning.
Vol. 12167,
Issue. ,
p.
79.
Sanders, Sam
2020.
Reverse Mathematics of Topology: Dimension, Paracompactness, and Splittings.
Notre Dame Journal of Formal Logic,
Vol. 61,
Issue. 4,
Veldman, Wim
2021.
Mathematics, Logic, and their Philosophies.
Vol. 49,
Issue. ,
p.
1.