It's about logic, which is "the calculus of computer science". Although I am not sure I would recommend it. Instead, Software Foundations, especially its first two volumes, Logical Foundations and Programming Language Foundations, is a very good, practical and fun introduction to logic and its use in PLT: https://softwarefoundations.cis.upenn.edu/