The epsilon calculus. Stanford Encyclopedia of Philosophy (2002)

by Jeremy Avigad, Richard Zach