The Basics is a hands-on introduction to the philosophically alive field of logical inquiry. Covering both classical and non-classical theories, it presents some of the core notions of logic such as validity, basic connectives, identity, ‘free logic’ and more. This This accessible guide includes chapter summaries and suggestions for further reading as well as exercises and sample answers throughout. It is an ideal introduction for those new to the study of logic as well as those seeking to gain the competence and skills needed to move to more advanced work in logic.
It’s very concise and formal. I enjoyed this a lot, but it’s probably not for someone who’s never seen formal logic before.
I remember first picking it up some years ago and it was hard for me to follow; this time it was a breeze and I learned a number of new things, despite being already familiar with most of classical logic.