This book is very solid.
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.