Timeline for Syntactical statements in PA about primitive recursive functions
Current License: CC BY-SA 3.0
1 event
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
May 30, 2012 at 22:26 | history | answered | Rob Ballantyne | CC BY-SA 3.0 |