FOM: Epsilon substitution
avigad at cmu.edu
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
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.
More information about the FOM