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
Arts, Film & Photography
Business & Economics
Science & Mathematics
Computers & Internet
Society & Social Sciences
Publishers
Track order
Home
/
Authors
/
Jeffrey J. Joyce
Author
Books by Jeffrey J. Joyce
Showing 1–1 of 1 books
Higher Order Logic Theorem Proving and Its Applications
Jeffrey J. Joyce, Carl-Johan H. Seger
₹5,642
