Logical Foundations of Computer Science - Sergei Artemov, Anil Nerode (Springer, 2022)