Timeline for Arithmetic in intuitionistic logic
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 20, 2021 at 22:35 | vote | accept | Bruno | ||
| Nov 20, 2021 at 13:30 | history | edited | Alex Kruckman | CC BY-SA 4.0 |
added 304 characters in body; added 16 characters in body
|
| Nov 20, 2021 at 13:20 | history | answered | Alex Kruckman | CC BY-SA 4.0 |