Pages that link to "Item:Q5221836"

The following pages link to Theories of Proof-Theoretic Strength Ψ (Γ_Ω +1) (Q5221836):

Displayed 3 items.

• Reflecting and unfolding (Q2094161) ‎ (← links)
• The Operational Perspective: Three Routes (Q3305557) ‎ (← links)
• Unfolding Schematic Systems (Q5214786) ‎ (← links)