@Article{wirth-simplified-epsilon,
year={2017},
author={Wirth, Claus-Peter},
title={A Simplified and Improved Free-Variable Framework for Hilbert's epsilon as an Operator of Indefinite Committed Choice},
journal={IfCoLog J. of Logics and their Applications},
volume={4},
pages={527--547},
note={Received Oct.23, 2015},
keywords={{Logical Foundations; Theories of Truth and Validity; Formalized Mathematics; Human-Oriented Interactive Theorem Proving; Automated Theorem Proving; Hilbert's epsilon-Operator; Henkin Quantification; Fermat's {\em Descente Infinie}}},
}