An Addition to “Cut Elimination in ε-Calculi” (Q3469101)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An Addition to “Cut Elimination in ε-Calculi” |
scientific article |
Statements
An Addition to “Cut Elimination in ε-Calculi” (English)
0 references
1989
0 references
epsilon calculus
0 references
proof theory
0 references
predicate calculus with Hilbert's \(\epsilon\)-symbol and equality
0 references
choice function
0 references
