# Semantics and proof theory of the epsilon calculus

Zach, Richard. 2017. “Semantics and Proof Theory of the Epsilon Calculus.” In Logic and Its Applications. ICLA 2017, edited by Sujata Ghosh and Sanjiva Prasad, 27–47. LNCS 10119. Berlin, Heidelberg: Springer. DOI :10.1007/978-3-662-54069-5_4. The epsilon operator is a term-forming operator which replaces quantifiers in ordinary predicate logic. The application of this undervalued formalism has been … Continue reading Semantics and proof theory of the epsilon calculus