Timeline for Reference for a "recursive" fragment of infinitary logic?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 27, 2012 at 22:06 | answer | added | Peter Gerdes | timeline score: 6 | |
| Jun 7, 2012 at 22:19 | comment | added | Tim Mercure | This is the sort of thing I was looking for. Thanks! | |
| Jun 5, 2012 at 18:52 | comment | added | François G. Dorais | Barwise, Admissible sets and structures. | |
| Jun 5, 2012 at 18:18 | history | asked | Tim Mercure | CC BY-SA 3.0 |