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
/
TPHOLs 2007 (2007 Kaiserslautern
Author
Books by TPHOLs 2007 (2007 Kaiserslautern
Showing 1–1 of 1 books
Theorem Proving in Higher Order Logics
TPHOLs 2007 (2007 Kaiserslautern, Germany)
₹4,259
