Pages that link to "Item:Q2817924"

The following pages link to Schematic Cut Elimination and the Ordered Pigeonhole Principle (Q2817924):

Displaying 2 items.

• Schematic refutations of formula schemata (Q2666952) (← links)
• Schematic Cut Elimination and the Ordered Pigeonhole Principle (Q2817924) (← links)