72 citations · 342 across the 22 of their papers we have counts for
1 paper · 1 filter
Richard Zach
Notes to lectures on the epsilon calculus, covering axioms, semantics, completeness, and the first epsilon theorem.