Lectures on the Epsilon Calculus
arXiv:1411.3629
Abstract
Notes to lectures on the epsilon calculus, covering axioms, semantics, completeness, and the first epsilon theorem.
arXiv:1411.3629
Notes to lectures on the epsilon calculus, covering axioms, semantics, completeness, and the first epsilon theorem.