Timeline for Syntactical statements in PA about primitive recursive functions
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 31, 2012 at 14:32 | vote | accept | AGISGA | ||
| May 30, 2012 at 22:49 | history | answered | Andreas Blass | CC BY-SA 3.0 |