I’m a fan of Enderton’s “A Mathematical Introduction to Logic”. It’s short and very precisely written, which can make it a little difficult to learn from on its own, but together with a general familiarity with the subject and using wikipedia for additional examples elaboration, it should be perfect.
Thanks, can you recommend a textbook for this stuff? I’ve mostly been learning off Wikipedia.
I can’t find a textbook on logic in the lesswrong textbook list.
I’m a fan of Enderton’s “A Mathematical Introduction to Logic”. It’s short and very precisely written, which can make it a little difficult to learn from on its own, but together with a general familiarity with the subject and using wikipedia for additional examples elaboration, it should be perfect.