Pages that link to "Item:Q2503393"
From MaRDI portal
The following pages link to Ackermann's substitution method (remixed) (Q2503393):
Displaying 5 items.
- On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem (Q265002) (← links)
- The epsilon calculus and Herbrand complexity (Q817706) (← links)
- Computational Interpretations of Classical Reasoning: From the Epsilon Calculus to Stateful Programs (Q3305635) (← links)
- EPSILON THEOREMS IN INTERMEDIATE LOGICS (Q5082060) (← links)
- Herbrand complexity and the epsilon calculus with equality (Q6178471) (← links)
