Quick view Add to Cart Fundamentals Of Logic And Computation: With Practical Automated Reasoning And Verification (Texts In Computer Science) $71.82 Springer