Fundamentals Of Logic And Computation With Practical Automated Reasoning Verificatio | Desertcart Romania