Timeline for What is the reverse mathematics of first-order logic and propositional logic?
Current License: CC BY-SA 2.5
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 16, 2010 at 12:32 | history | edited | Joel David Hamkins | CC BY-SA 2.5 |
added 187 characters in body
|
| May 16, 2010 at 12:17 | history | answered | Joel David Hamkins | CC BY-SA 2.5 |