The following pages link to On the Paths of Categories (Q5864197):
Displaying 6 items.
- Gödel's natural deduction (Q1744008) (← links)
- Composition of deductions within the propositions-as-types paradigm (Q2228351) (← links)
- General proof theory: introduction (Q2631640) (← links)
- Gödel on deduction (Q2631643) (← links)
- REPRESENTING CONJUNCTIVE DEDUCTIONS BY DISJUNCTIVE DEDUCTIONS (Q5737965) (← links)
- The placeholder view of assumptions and the Curry-Howard correspondence (Q6066988) (← links)
