3 ms·

Has anyone here taught out of any of these, or tried working through any of them? I'd be very interested in comments, general or specific. (I am starting

Has anyone here taught out of any of these, or tried working through any of them? I'd be very interested in comments, general or specific. (I am starting up a Logic class at my school.)

nextos 4y ago
I read many sections of a few volumes when trying to pick a textbook to teach a seminar in Oxford. They are really nice, which is not surprising as they have e.g. Jeremy Avigad in the editorial board. Furthermore, they are beautifully typeset. I required a more computational approach, so my favorite texts remain: * https://link.springer.com/book/10.1007/978-0-8176-4763-6 https://link.springer.com/book/10.1007/978-0-8176-4763-6 * https://www.cs.bham.ac.uk/research/projects/lics/ https://www.cs.bham.ac.uk/research/projects/lics/ * https://link.springer.com/book/10.1007/978-1-4471-4129-7 https://link.springer.com/book/10.1007/978-1-4471-4129-7 * https://www.lix.polytechnique.fr/Labo/Samuel.Mimram/teaching/INF551/ https://www.lix.polytechnique.fr/Labo/Samuel.Mimram/teaching... The last one is freely available, but also quite advanced as it develops all theory from the Curry-Howard isomorphism angle. I think it is ideal for advanced CS students though, and an amazing textbook due to the breadth of material it manages to cover.
vez- 4y ago
I took a class under one of the authors with "sets, logic, computation". I found this textbook to be incredibly good for both reading and as a reference. It presents things very straightforwardly (the language is simple) and clearly (makes good use of tables and diagrams to give the full info needed to understand something). The chapters are short and digestible. I forget if the text includes exercises, but I found the exercises in that class very good as well. I was actually looking for this text again, so that I could use it as a reference while learning Homotopy Type Theory, and here it is!
- vez- 4y ago
  correction: I actually used the text "What If?" NOT "sets, logic, computation"! My mistake.

Has anyone here taught out of any of these, or tried working through any of them? I'd be very interested in comments, general or specific. (I am starting up a Logic class at my school.)

nextos 4y ago

I read many sections of a few volumes when trying to pick a textbook to teach a seminar in Oxford. They are really nice, which is not surprising as they have e.g. Jeremy Avigad in the editorial board. Furthermore, they are beautifully typeset. I required a more computational approach, so my favorite texts remain: * https://link.springer.com/book/10.1007/978-0-8176-4763-6 https://link.springer.com/book/10.1007/978-0-8176-4763-6 * https://www.cs.bham.ac.uk/research/projects/lics/ https://www.cs.bham.ac.uk/research/projects/lics/ * https://link.springer.com/book/10.1007/978-1-4471-4129-7 https://link.springer.com/book/10.1007/978-1-4471-4129-7 * https://www.lix.polytechnique.fr/Labo/Samuel.Mimram/teaching/INF551/ https://www.lix.polytechnique.fr/Labo/Samuel.Mimram/teaching... The last one is freely available, but also quite advanced as it develops all theory from the Curry-Howard isomorphism angle. I think it is ideal for advanced CS students though, and an amazing textbook due to the breadth of material it manages to cover.

vez- 4y ago

I took a class under one of the authors with "sets, logic, computation". I found this textbook to be incredibly good for both reading and as a reference. It presents things very straightforwardly (the language is simple) and clearly (makes good use of tables and diagrams to give the full info needed to understand something). The chapters are short and digestible. I forget if the text includes exercises, but I found the exercises in that class very good as well. I was actually looking for this text again, so that I could use it as a reference while learning Homotopy Type Theory, and here it is!

vez- 4y ago
correction: I actually used the text "What If?" NOT "sets, logic, computation"! My mistake.