Timeline for Intutionistic Robinson Arithmetic
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 9, 2016 at 15:12 | vote | accept | Erfan Khaniki | ||
| Jan 9, 2016 at 14:51 | history | answered | Emil Jeřábek | CC BY-SA 3.0 |