Timeline for Gödel's speed-up from constructive to classical logic?
Current License: CC BY-SA 3.0
1 event
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Mar 1, 2018 at 19:14 | history | answered | Corey Bacal Switzer | CC BY-SA 3.0 |