Logic in Computer Science - Zhang, Hantao; Zhang, Jian (Singapore Springer, 2025)