An Introduction to Formal Logic(2020) [pdf]

To the more exercise-inclined, there's this introductory game:

https://incredible.pm/