Skip to content

CANONICAL EQUATIONAL PROOFS.

CANONICAL EQUATIONAL PROOFS.

CANONICAL EQUATIONAL PROOFS.
Stock Photo: Cover May Be Different

CANONICAL EQUATIONAL PROOFS.

by Bachmair, Leo

  • Used
  • Fine
  • Hardcover
  • first
Condition
Fine/Not Issued with a Dust Jacket.
ISBN 10
0817635556
ISBN 13
9780817635558
Seller
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
North Reading, Massachusetts, United States
Item Price
A$77.47
Or just A$69.72 with a
Bibliophiles Club Membership
A$7.75 Shipping to USA
Standard delivery: 4 to 8 days

More Shipping Options

Payment Methods Accepted

  • Visa
  • Mastercard
  • American Express
  • Discover
  • PayPal

About This Item

Birkhauser:, 1991. The first printing, 135 pages. "This monograph studies the application of rewrite techniques to equational reasoning. Various rewrite-based proof methods are formalized at an abstract level as equational inference systems and techniques for reasoning about such ingerence systems are developed based on the concepts of normal-form proofs and proof orderings." FINE HARDCOVER.. Hard Cover. Fine/Not Issued with a Dust Jacket.. 8vo - over 7¾" - 9¾" tall.

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
PASCALE'S BOOKS US (US)
Bookseller's Inventory #
022923
Title
CANONICAL EQUATIONAL PROOFS.
Author
Bachmair, Leo
Format/Binding
Hardcover
Book Condition
Used - Fine
Jacket Condition
Not Issued with a Dust Jacket.
ISBN 10
0817635556
ISBN 13
9780817635558
Publisher
Birkhauser:
Date Published
1991
Size
8vo - over 7¾" - 9&f
Keywords
Isbn: 0-8176-3555-6, Math, Mathematics, Computer Science, math Equations, Canonical Equation Proofs

Terms of Sale

PASCALE'S BOOKS

Returns: Any questions? Just call or write. Please e-mail (d.dapbooks@verizon.net) or call ahead (978-276-3122) to confirm that the book is still in stock. All dust jackets are protected with a clear plastic dust jacket. Returnable within 7 days, if I am notified in advance. Shipping times cannot be guaranteed. They are only estimates based on the carriers' delivery times, and do not include Customs processing. If your order will pass through Customs, please expect a possible delay. Also note that I will try to ship your book for the lowest price possible. Massachusetts customers note sales tax is 6.25%.

As of Nov. 2021- EXPECT LONG DELAYS IN BOOKS BEING SHIPPING BY MEDIA MAIL VIA USPS UNTIL Jan. 15th 2022


About the Seller

PASCALE'S BOOKS

Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Biblio member since 2004
North Reading, Massachusetts

About PASCALE'S BOOKS

Pascale's Books is a mail order business, specializing in scholarly non-fiction books in many subjects, such as American law, sociology, technology, architecture, aviation, astronomy and more. The more unique the better. Content and condition are both equally important to me as a bookseller. I have over 35 years experience buying and selling books and ephemera.
"Read an old book and learn something new."

Glossary

Some terminology that may be used in this description includes:

Fine
A book in fine condition exhibits no flaws. A fine condition book closely approaches As New condition, but may lack the...
Jacket
Sometimes used as another term for dust jacket, a protective and often decorative wrapper, usually made of paper which wraps...

Frequently asked questions

tracking-