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