Timeline for Nelson's program to show inconsistency of ZF
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 2, 2015 at 9:15 | history | edited | François G. Dorais | CC BY-SA 3.0 |
second manuscript
|
| Oct 1, 2015 at 9:46 | history | edited | François G. Dorais | CC BY-SA 3.0 |
update
|
| Sep 13, 2015 at 4:15 | history | answered | François G. Dorais | CC BY-SA 3.0 |