Pages that link to "Item:Q5834321"
From MaRDI portal
The following pages link to The combinatory foundations of mathematical logic (Q5834321):
Displaying 11 items.
- On modal logics of partial recursive functions (Q817692) (← links)
- From constructivism to computer science (Q1274450) (← links)
- Routes to triviality (Q1771203) (← links)
- Curry's paradox, generalized modus ponens axiom and depth relevance (Q2016072) (← links)
- Blocking the routes to triviality with depth relevance (Q2258818) (← links)
- Logic of subtyping (Q2500487) (← links)
- BUNDER’S PARADOX (Q3389494) (← links)
- Principal type-schemes and condensed detachment (Q3489979) (← links)
- Extending the Curry-Howard interpretation to linear, relevant and other resource logics (Q4032664) (← links)
- Systems of illative combinatory logic complete for first-order propositional and predicate calculus (Q4276020) (← links)
- Why Sets? (Q5452179) (← links)
