Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Paperback, 2021)