The epsilon calculus. The Stanford Encyclopedia of Philosophy. CSLI (2008)

by Jeremy AVIGAD, Richard ZACH