Richard Zach. Semantics and Proof Theory of the Epsilon Calculus. In Sujata Ghosh, Sanjiva Prasad, editors, Logic and Its Applications - 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings. Volume 10119 of Lecture Notes in Computer Science, pages 27-47, Springer, 2017. [doi]
Abstract is missing.