Timeline for Category of Gödel Codings? [Reference Request]
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| Mar 5, 2015 at 22:05 | vote | accept | Rex Butler | ||
| Mar 5, 2015 at 19:12 | history | answered | Andrej Bauer | CC BY-SA 3.0 |