Pages that link to "Item:Q1256460"
From MaRDI portal
The following pages link to Heyting predicate calculus with epsilon symbol (Q1256460):
Displayed 5 items.
- Harmonising natural deduction (Q948984) (← links)
- Existential instantiation and normalization in sequent natural deduction (Q1198828) (← links)
- EPSILON THEOREMS IN INTERMEDIATE LOGICS (Q5082060) (← links)
- Semantics and Proof Theory of the Epsilon Calculus (Q5224489) (← links)
- Interpreting descriptions in intensional type theory (Q5718672) (← links)