Picture 1 of 1

Stock photo
Stock photo
Theorem Proving in Higher Order Logics : 21st International Conference, TPHOL<| - Picture 1 of 1

Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings by Cesar Munoz, Otmane Ait Mohamed, Sofiene Tahar (Paperback, 2008)

Be the first towrite a review.
  • baham_books (2193250)
  • 99.1% positive Feedback
Price:
£102.43
Free postage
Estimated delivery Mon, 13 May - Fri, 17 May
Returns:
30 days return. Buyer pays for return postage.
Condition:
New
Title: Theorem Proving in Higher Order Logics : 21st International Conf Item Condition: New. Used-like N : The book pretty much look like a new book. There will be no stains or markings on the book, the cover is clean and crisp, the book will look unread, the only marks there may be are slight bumping marks to the edges of the book where it may have been on a shelf previously.