🚚 Free shipping on orders above ₹499  |  Easy 15-day returns  |  quality books at best prices
GlowMirror

Books by Victor A. Carreno | Cesar A. Munoz | Sofiene Tahar

1 book available on GlowMirror · Free delivery above ₹499 · 15-day returns

Theorem Proving in Higher Order Logics (English, Victor A. Carreno | Cesar A. Munoz | Sofiene Tahar)Springer

Theorem Proving in Higher Order Logics (English, Victor A. Carreno | Cesar A. Munoz | Sofiene Tahar)

₹5,680