Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Lubarsky, Robert S.
2018.
Logical Foundations of Computer Science.
Vol. 10703,
Issue. ,
p.
242.
Bridges, Douglas S.
2018.
Intuitionistic sequential compactness?.
Indagationes Mathematicae,
Vol. 29,
Issue. 6,
p.
1477.
Iemhoff, Rosalie
and
Passmann, Robert
2021.
Logics of intuitionistic Kripke-Platek set theory.
Annals of Pure and Applied Logic,
Vol. 172,
Issue. 10,
p.
103014.
Lubarsky, Robert S.
2022.
Revolutions and Revelations in Computability.
Vol. 13359,
Issue. ,
p.
162.
Kawai, Tatsuji
2023.
Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$.
Mathematical Logic Quarterly,
Vol. 69,
Issue. 3,
p.
370.