Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification
Springer Verlag
₹ 5,179.00
₹ 6,538.91
✻