The following pages link to The Logic of Choice (Q4527924):
Displaying 6 items.
- The epsilon calculus and Herbrand complexity (Q817706) (← links)
- Hilbert's epsilon as an operator of indefinite committed choice (Q946570) (← links)
- Interpreting HOL in the calculus of constructions (Q1885479) (← links)
- Implicit complexity over an arbitrary structure: Quantifier alternations (Q2490113) (← links)
- Semantics and Proof Theory of the Epsilon Calculus (Q5224489) (← links)
- Herbrand complexity and the epsilon calculus with equality (Q6178471) (← links)
