Ancien livre de biblioth�que. Edition 1989. Ammareal reverse jusqu'� 15% du prix net de cet article � des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1989. Ammareal gives back up to 15% of this item's net price to charity organizations.

Seller Inventory # E-577-908

Contact seller

Report this item

Bibliographic Details

Title: Computational Aspects of an Order-sorted Logic With Term Declarations
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publication Date: 1989
Language: English
ISBN 10: 3540517057
ISBN 13: 9783540517054
Binding: Softcover
Condition: Tr�s bon

Store Description

English below. Ammareal est une librairie professionnelle sp�cialis�e dans le livre d?occasion. Nous exp�dions partout dans le monde. Nous avons plus de 250 000 ouvrages en stock dont un grand nombre de livres techniques et acad�miques. Nous reversons jusqu?� 15% du prix de vente de chaque livre � des organisations caritatives, des biblioth�ques et des associations luttant contre l?illettrisme. Ce que nous ne vendons pas nous le donnons, ce que nous ne donnons pas nous le recyclons. Ammareal is a professional bookseller speciliazed in used books. We ship worldwide. We have more than 250 000 books in stock, including a large number of technical and university-level books. We give back up to 15% of the price of each book to charities, libraries and organizations fighting in favor of literacy. What we do not sell, we give, what we do not give we recycle.