Lectures on the Epsilon Calculus
Logic
2014-11-14 v1
Abstract
Notes to lectures on the epsilon calculus, covering axioms, semantics, completeness, and the first epsilon theorem.
Keywords
Cite
@article{arxiv.1411.3629,
title = {Lectures on the Epsilon Calculus},
author = {Richard Zach},
journal= {arXiv preprint arXiv:1411.3629},
year = {2014}
}