33 citations · 206 across the 29 of their papers we have counts for
1 paper · 2 filters
Kenji Miyamoto, Georg Moser
Hilbert's epsilon calculus is an extension of elementary or predicate calculus by a term-forming operator ε and initial formulas involving such terms. The fundamental r…