Timeline for Reference request: eliminating function symbols in predicate logic
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 27, 2016 at 13:47 | vote | accept | Peter LeFanu Lumsdaine | ||
| Jan 27, 2016 at 12:19 | answer | added | Håkon R. Gylterud | timeline score: 4 | |
| Jan 27, 2016 at 11:32 | history | asked | Peter LeFanu Lumsdaine | CC BY-SA 3.0 |