Pages that link to "Item:Q2557690"
From MaRDI portal
The following pages link to Proof theory and intuitionistic systems (Q2557690):
Displayed 6 items.
- On some proof theoretical properties of the modal logic GL (Q798649) (← links)
- Theory of proofs (arithmetic and analysis) (Q1260035) (← links)
- Disjunctive properties of intuitionistic systems (Q4053622) (← links)
- Choice sequences and reduction processes (Q4189272) (← links)
- Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session (Q5250212) (← links)
- Choice and independence of premise rules in intuitionistic set theory (Q6109095) (← links)