Pages that link to "Item:Q2804471"
From MaRDI portal
The following pages link to FROM STENIUS’ CONSISTENCY PROOF TO SCHÜTTE’S CUT ELIMINATION FOR <i>ω</i>-ARITHMETIC (Q2804471):
Displayed 1 item.
The following pages link to FROM STENIUS’ CONSISTENCY PROOF TO SCHÜTTE’S CUT ELIMINATION FOR <i>ω</i>-ARITHMETIC (Q2804471):
Displayed 1 item.