The following pages link to (Q4364394):
Displayed 4 items.
- Toward the interpretation of non-constructive reasoning as non-monotonic learning (Q1004290) (← links)
- Herbrand's theorem as higher order recursion (Q1987218) (← links)
- Programming and Proving with Classical Types (Q5055999) (← links)
- Classical Logic with Mendler Induction (Q5283417) (← links)