Pages that link to "Item:Q1208146"
From MaRDI portal
The following pages link to Hilbert's \(\varepsilon{}\)-operator and classical logic (Q1208146):
Displaying 8 items.
- The epsilon calculus and Herbrand complexity (Q817706) (← links)
- Hilbert's epsilon as an operator of indefinite committed choice (Q946570) (← links)
- Hilbert's logic. From axiomatics to proof theory (Q1267397) (← links)
- Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator (Q1683372) (← links)
- On Bourbaki's axiomatic system for set theory (Q2263057) (← links)
- Logic in Category Theory (Q2909761) (← links)
- EPSILON THEOREMS IN INTERMEDIATE LOGICS (Q5082060) (← links)
- RAMSIFICATION AND SEMANTIC INDETERMINACY (Q6051427) (← links)
