Re: set theory
John McCarthy
(
jmc@sail.Stanford.EDU
)
Sat, 13 Aug 94 18:25:09 -0700
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
Next message:
Robert S. Boyer: "More replies to JMC"
Previous message:
Piotr Rudnicki: "Mizar on ftp"
In reply to:
David McAllester: "set theory"
I agree that the set theory used as an intermediate language should
have functions and other extensions. I have a long list of them.
Next message:
Robert S. Boyer: "More replies to JMC"
Previous message:
Piotr Rudnicki: "Mizar on ftp"
In reply to:
David McAllester: "set theory"