Timeline for Completeness theorem via syntactic categories
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 17, 2013 at 2:04 | vote | accept | Luke | ||
| Oct 10, 2013 at 9:11 | history | edited | Tom Hirschowitz | CC BY-SA 3.0 |
Added more detail.
|
| Oct 10, 2013 at 7:51 | history | answered | Tom Hirschowitz | CC BY-SA 3.0 |