TY  - RPRT
TI  - Semantics and Proof Theory of the Epsilon Calculus
AU  - Richard Zach
PY  - 2016
DO  - 10.1007/978-3-662-54069-5_4
UR  - https://arxiv.org/abs/1610.06289
ID  - 1610.06289
ER  -