Timeline for why the difference between terms and propositional variables?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 31, 2013 at 23:42 | comment | added | Andrej Bauer | I am pretty sure syntax as an object of study came a little earlier than computers... | |
| Dec 31, 2013 at 22:58 | answer | added | Lawrence Paulson | timeline score: 4 | |
| Dec 30, 2013 at 19:18 | comment | added | Lucas K. | I think with the introductions of computers. Then they started to talk about grammer (for instance BNF), and then you have to be more precise. | |
| Dec 30, 2013 at 12:03 | history | asked | Willemien | CC BY-SA 3.0 |