Theorem Proving in Higher Order Logics
Juris Hartmanis Gerhard Goos, Joakim Wright Jan Leeuwen, John Harrison Jim Grundy
₹3,391
Author
Same-day shipping (Mon–Sat)Extra 9% off: use coupon code 9% off: code GIG9Free delivery, 3–5 days ·
Author
Juris Hartmanis Gerhard Goos, Joakim Wright Jan Leeuwen, John Harrison Jim Grundy
₹3,391