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

Books by E. Thomas Schubert | Phillip J. Windley | James Alves-Foss

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

Higher Order Logic Theorem Proving and Its Applications (English, E. Thomas Schubert | Phillip J. Windley | James Alves-Foss)Springer

Higher Order Logic Theorem Proving and Its Applications (English, E. Thomas Schubert | Phillip J. Windley | James Alves-Foss)

₹5,581