Fundamentals of logic and computation: With practical automated reasoning and verification - Hou, Zhe (Switzerland Springer, 2021)
Keywords: Computation; Logic; Computer Science