33 citations · 206 across the 29 of their papers we have counts for
1 paper · 2 filters
Georg Moser, Richard Zach
Hilbert's epsilon-calculus is based on an extension of the language of predicate logic by a term-forming operator εx. Two fundamental results about the epsilon-calculus, the f…