Pages that link to "Item:Q5957420"
From MaRDI portal
The following pages link to The pleasures of anticipation: Enriching intuitionistic logic (Q5957420):
Displaying 6 items.
- Proof search on bilateralist judgments over non-deterministic semantics (Q2142069) (← links)
- What is a relevant connective? (Q2155944) (← links)
- Explicating logical independence (Q2301324) (← links)
- Variations on a theme of Curry (Q2505136) (← links)
- Priest on Negation (Q3305669) (← links)
- XIV Latin American Symposium on Mathematical Logic (SLALM) (Q3398618) (← links)
