What do you both think of "The Calculus of Computation" by Bradley and Manna? https://link.springer.com/book/10.1007/978-3-540-74113-8 https://link.springer.co

What do you both think of "The Calculus of Computation" by Bradley and Manna? https://link.springer.com/book/10.1007/978-3-540-74113-8 https://link.springer.com/book/10.1007/978-3-540-74113-8 Slides for the book are here, https://web.stanford.edu/class/cs156/slides/Technion/ https://web.stanford.edu/class/cs156/slides/Technion/