Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification Zhe Hou