[FOM] New Foundations consistency problem
Alasdair Urquhart
urquhart at cs.toronto.edu
Wed Oct 23 17:32:48 EDT 2013
Previous message:
[FOM] CiE Newsletter No. 73, October 19th, 2013
Next message:
[FOM] New Foundations consistency problem
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
I wonder if anybody could tell me the current status of the consistency problem for NF?
Previous message:
[FOM] CiE Newsletter No. 73, October 19th, 2013
Next message:
[FOM] New Foundations consistency problem
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the FOM mailing list