Carl Xiong’s Reviews > Meaning and Argument: An Introduction to Logic Through Language > Status Update

I starts reading this book as a review of Propositional Logic. For the purpose of review important results for proofs, it's not a good fit. The truth tree part is new to me and discussions on the complex relationship between connective-appearing words (or, and, if and etc.) in English and their logical semantics is well covered. And I would recommend anyone interested in it to read the Appendix as well.