FOM: Epsilon substitution

[Jeremy Avigad]

Bill Tait wrote:

> Incidentally, for a very nice discussion of the history of the
> epsilon-calculus  and substitution method, see Jeremy Avigad and Richard
> Zach's
>
> http://www.ucalgary.ca/~rzach/epsilon-calculus/

It's nice to get good press! But please note that this is still a draft.
We posted it to solicit comments and corrections; the final version will
be part of the online Stanford Encyclopedia of Philosophy.

Jeremy Avigad