Status Updates From Meaning and Argument: An In...

I've reread the first part. In particular, redo the exercises and results about truth tree.

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.