FOM: Epsilon substitution

Jeremy Avigad avigad at
Wed Feb 6 12:28:41 EST 2002

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

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

More information about the FOM mailing list