Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
SIDERS, ANNIKA
2016.
FROM STENIUS’ CONSISTENCY PROOF TO SCHÜTTE’S CUT ELIMINATION FOR ω-ARITHMETIC.
The Review of Symbolic Logic,
Vol. 9,
Issue. 1,
p.
1.