The book is probably "Specifying Systems" by Leslie Lamport[1].

I recently started reading this book and felt amazed at the way it progresses. It introduces Propositional logic, Predicate logic, and then Temporal logic. Enjoyed it so far and looking to apply it in the real-world.

[1] https://lamport.azurewebsites.net/tla/book.html