Timeline for Is there a general theory of models that has as instances classical FOL, classical propositional logic, etc.?
Current License: CC BY-SA 3.0
1 event
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 20, 2012 at 20:17 | history | answered | Ed Dean | CC BY-SA 3.0 |