Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
López-Escobar, E. G. K.
1980.
Further applications of ultra-conservative ω-rules.
Archiv für Mathematische Logik und Grundlagenforschung,
Vol. 22,
Issue. 3-4,
p.
89.
Akiyoshi, Ryota
2018.
Logic, Language, Information, and Computation.
Vol. 10944,
Issue. ,
p.
77.
van Atten, Mark
2018.
The Creating Subject, the Brouwer–Kripke Schema, and infinite proofs.
Indagationes Mathematicae,
Vol. 29,
Issue. 6,
p.
1565.