All Rediff Books Recommends for -

Theorem Proving in Higher Order Logics: 21st International Conference TPHOLs 2008 Montreal Canada August 18-21 2008 Proceedings (Lecture Notes in ... Computer Science and General Issues) (English) (Paperback)

(99)

Price: Rs. 5983

OUT OF STOCK

Price: Rs. 3403

OUT OF STOCK

Price: Rs. 350

OUT OF STOCK

Price: Rs. 4254

OUT OF STOCK

Rediff Books - India's Largest online Books store. Buy from a large collection of Books Online. We stock every new title under various genres with endless array of enduring classics. Get the best offers on category name books at best prices in India with a facility of Free Shipping and Cash on Delivery (COD). Search from 3.5 million books & the best authors.
Start your search here - save time, money and select your choice title most easily from the comfort of your home!