Timeline for Understanding Specker's disproof of the axiom of choice in New Foundations
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 23, 2012 at 9:18 | history | edited | François G. Dorais | CC BY-SA 3.0 |
added latex
|
| Dec 23, 2012 at 7:55 | history | answered | Randall Holmes | CC BY-SA 3.0 |