The following pages link to Intuitionistic ϵ‐ and τ‐calculi (Q4857864):
Displayed 6 items.
- The epsilon calculus and Herbrand complexity (Q817706) (← links)
- Hilbert's epsilon as an operator of indefinite committed choice (Q946570) (← links)
- Dialectica principles via Gödel doctrines (Q2682930) (← links)
- EPSILON THEOREMS IN INTERMEDIATE LOGICS (Q5082060) (← links)
- Semantics and Proof Theory of the Epsilon Calculus (Q5224489) (← links)
- Herbrand complexity and the epsilon calculus with equality (Q6178471) (← links)