Timeline for Why are universal introduction and existential elimination valid inference rules?
Current License: CC BY-SA 3.0
1 event
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 1, 2015 at 20:04 | history | answered | user37159 | CC BY-SA 3.0 |