Pages that link to "Item:Q2482845"
From MaRDI portal
The following pages link to A sequent calculus for limit computable mathematics (Q2482845):
Displaying 5 items.
- Games with 1-backtracking (Q636360) (← links)
- Inside the Muchnik degrees. I: Discontinuity, learnability and constructivism (Q2637708) (← links)
- Positive Arithmetic Without Exchange Is a Subclassical Logic (Q3498443) (← links)
- Non-Commutative First-Order Sequent Calculus (Q3644767) (← links)
- A New Translation for Semi-classical Theories — Backtracking without CPS (Q5458438) (← links)
