This is a ‘free’ (online) Logic Course, which mainly focuses on computational logic. It covers general concepts of logic, such as propositional logic, predicate logic and epistemic logic, as well as types of argumentation such as syllogisms. However, much of the text, especially the second half is focused firmly upon computer programming.
The text moves relatively slowly and explains concepts as they crop up, but its not an ‘easy’ read. In places it is also a bit condescending. For example in chapter 1 it tells readers that if they are unfamiliar with specifics of logical notation then they should consult appendix A ‘to catch up with the rest of us.’ Its good that the basic information is included in appendix A, but it isn’t a particularly helpful tone to be telling readers that they are potentially ‘behind’ before they’ve even got through chapter 1.
Textually, this (the 2016 edition) is a long book at 456 pages in its PDF version. Its not the easiest book to navigate as chapters re-start their page numbering each time. That makes it easier to update and re-publish sections of the book, as necessary, but it can be a bit disorientating for readers more familiar with texts which have sequential numbering from the beginning to end.
Overall, this is not a particularly ‘friendly’ introduction to logic, but it is a free resource and so perhaps that is an important consideration for some readers.