Skip to content
Free delivery across India
·
Cash on delivery
·
Delivered in 3–7 days
Books
Bajar
Search books by title, author, ISBN or publisher
Search
Search books by title, author, ISBN or publisher
Search
All subjects
Business & Economics
Literature & Fiction
Sciences, Technology & Medicine
Politics
Textbooks & Study Guides
Publishers
Track order
Home
/
Authors
/
Mauricio Ayala-Rincón
Author
Books by Mauricio Ayala-Rincón
Showing 1–1 of 1 books
Interactive Theorem Proving
Mauricio Ayala-Rincón, César A. Muñoz
₹3,927
