Skip to content

No image available

Higher Order Logic Theorem Proving and Its Applications: Proceedings of the Ifip Tc10/Wg10.2 International Workshiop on Higher Order Logic Theorem P

No image available

Higher Order Logic Theorem Proving and Its Applications: Proceedings of the Ifip Tc10/Wg10.2 International Workshiop on Higher Order Logic Theorem P

  • New
  • Paperback
Condition
New
ISBN 10
0444898808
ISBN 13
9780444898807
Seller
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Exeter, Devon, United Kingdom
Item Price
A$397.66
Or just A$358.62 with a
Bibliophiles Club Membership
A$19.52 Shipping to USA
Standard delivery: 14 to 21 days

More Shipping Options

Payment Methods Accepted

  • Visa
  • Mastercard
  • American Express
  • Discover
  • PayPal

About This Item

North Holland, 1993. Paperback. New. 568 pages. 9.25x6.00x1.00 inches.

Reviews

(Log in or Create an Account first!)

You’re rating the book as a work, not the seller or the specific copy you purchased!

Details

Bookseller
Revaluation Books GB (GB)
Bookseller's Inventory #
2-0444898808
Title
Higher Order Logic Theorem Proving and Its Applications: Proceedings of the Ifip Tc10/Wg10.2 International Workshiop on Higher Order Logic Theorem P
Format/Binding
Paperback
Book Condition
New
Quantity Available
1
ISBN 10
0444898808
ISBN 13
9780444898807
Publisher
North Holland
Date Published
1993

Terms of Sale

Revaluation Books

30 day return guarantee, with full refund including original shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.

About the Seller

Revaluation Books

Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Biblio member since 2020
Exeter, Devon

About Revaluation Books

General bookseller of both fiction and non-fiction.

Glossary

Some terminology that may be used in this description includes:

New
A new book is a book previously not circulated to a buyer. Although a new book is typically free of any faults or defects, "new"...
tracking-