Last week I decided I wanted to _relearn_ logic, and actually found this as well. I studied some Philosophical and Mathematical logic back in school, and kind of miss it.

I also found https://openlogicproject.org/ which is a nearly 1000 page book, so I plan on going through some of that as well. Might be of interest to you.