No subject
Thu Jan 29 11:15:17 EST 2009
Previous message:
No subject
Next message:
[sc34wg3] CTM: Semicolons and the "main" identity
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
semantics (or the mapping would be). \rho [1]
http://en.wikipedia.org/wiki/Russel_paradox
Previous message:
No subject
Next message:
[sc34wg3] CTM: Semicolons and the "main" identity
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the sc34wg3 mailing list