Pages that link to "Item:Q5338314"
From MaRDI portal
The following pages link to The system CΔ of combinatory logic (Q5338314):
Displayed 3 items.
- Property theory: The type-free approach \(v\). The Church approach (Q1319264) (← links)
- Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic (Q1868338) (← links)
- Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels (Q1923579) (← links)