Pages that link to "Item:Q5224489"
From MaRDI portal
The following pages link to Semantics and Proof Theory of the Epsilon Calculus (Q5224489):
Displaying 5 items.
- Grounding, quantifiers, and paradoxes (Q2056222) (← links)
- Explicit provability and constructive semantics (Q2732527) (← links)
- EPSILON THEOREMS IN INTERMEDIATE LOGICS (Q5082060) (← links)
- An axiomatization of ECTL (Q5406125) (← links)
- Herbrand complexity and the epsilon calculus with equality (Q6178471) (← links)