Timeline for Real-closed fields minus existentials for Presburger-like power and multiplication?
Current License: CC BY-SA 2.5
1 event
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 27, 2011 at 4:58 | history | answered | Sidney Raffer | CC BY-SA 2.5 |