Timeline for Why are universal introduction and existential elimination valid inference rules?
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 1, 2015 at 20:04 | answer | added | user37159 | timeline score: 0 | |
| Feb 4, 2010 at 13:32 | answer | added | Neel Krishnaswami | timeline score: 11 | |
| Feb 4, 2010 at 13:20 | comment | added | Harry Gindi | Certainly 1 is not a free variable. | |
| Feb 4, 2010 at 13:04 | history | asked | Francesco Turco | CC BY-SA 2.5 |