Timeline for undergraduate logic textbook
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 15, 2011 at 7:01 | comment | added | user15756 | From what I have read (which is quite a bit) I haven't found many textbooks that treat logic in the way it is researched/studied today. Unfortunately, this means that writing your own notes seems to be the norm! Then again, there's probably a lot of monographs waiting to be fleshed out! Every cloud, silver lining... | |
| Jun 15, 2011 at 0:16 | comment | added | user6976 | Thank you! I used classical texts mentioned above. Both are too formal and treat computability, in particular, in a very outdated way. So I had to write my own notes. Also I included Ehrenfeucht games and elementary equivalence in general which is also missing in these texts. If I teach logic again, I will choose a different text. | |
| Jun 14, 2011 at 20:07 | history | answered | user15756 | CC BY-SA 3.0 |