Pages that link to "Item:Q5361249"

The following pages link to Gentzen’s Original Consistency Proof and the Bar Theorem (Q5361249):

Displaying 1 item.

• FROM STENIUS’ CONSISTENCY PROOF TO SCHÜTTE’S CUT ELIMINATION FOR <i>ω</i>-ARITHMETIC (Q2804471) (← links)