Timeline for Minimal axiom system for a set of provable statements
Current License: CC BY-SA 2.5
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 2, 2009 at 6:22 | history | edited | Andrew Critch | CC BY-SA 2.5 |
edited body
|
| Nov 2, 2009 at 5:36 | history | answered | Andrew Critch | CC BY-SA 2.5 |