Timeline for Background for Kierstead terms
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 1, 2014 at 18:07 | vote | accept | Basil | ||
| Sep 24, 2014 at 10:14 | comment | added | Basil | Oops, I was writing up what I found while you were answering. Thanks for the pointer. It goes further back than "Recursive functionals and quantifiers of finite types revisited II" then... | |
| Sep 24, 2014 at 9:54 | review | First posts | |||
| Sep 24, 2014 at 10:04 | |||||
| Sep 24, 2014 at 9:48 | history | answered | John Longley | CC BY-SA 3.0 |