Timeline for Source on equality-free second-order logic (nontrivially construed)
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 10, 2022 at 18:31 | vote | accept | Noah Schweber | ||
| S Nov 10, 2022 at 18:31 | history | answered | Noah Schweber | CC BY-SA 4.0 | |
| S Nov 10, 2022 at 18:31 | history | made wiki | Post Made Community Wiki by Noah Schweber |