Timeline for Are Regularity schema and $\in$-induction schema equivalent in intuitionistic logic?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 11, 2018 at 20:13 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
deleted 14 characters in body
|
| Nov 11, 2018 at 20:00 | history | undeleted | Zuhair Al-Johar | ||
| Nov 11, 2018 at 19:45 | history | deleted | Zuhair Al-Johar | via Vote | |
| Nov 11, 2018 at 19:45 | history | edited | Zuhair Al-Johar | CC BY-SA 4.0 |
deleted 17 characters in body
|
| Nov 11, 2018 at 17:40 | history | answered | Zuhair Al-Johar | CC BY-SA 4.0 |