8�. 154 S. mit graphischen Darstellungen. OKart. (Research notes in theoretical computer science). Gutes Exemplar. Sprache: englisch. Seller Inventory # 87465CB

Contact seller

Report this item

Bibliographic Details

Title: Automated theorem-proving in non-classical ...

Publisher: London, Pitman.

Publication Date: 1988

Binding: Soft cover

Store Description

visit our home-page: www.haufe-lutz.de

Visit Seller's Storefront

Association Member

Members of these associations are committed to maintaining the highest standards. They vouch for the authenticity of all items offered for sale. They provide expert and detailed descriptions, disclose all significant defects and/or restorations, provide clear and accurate pricing, and operate with fairness and honesty during the purchase experience.

Seller's business information

Antiquariat Haufe & Lutz
Germany

Terms of Sale:

Allgemeine Gesch�ftsbedingungen von Antiquariat Haufe & Lutz

Antiquariat Haufe & Lutz
Inh. Thomas Haufe

Kaiserstr. 99
76133 Karlsruhe

Tel.: +49- 721 376882
E-mail: info@haufe-lutz.de
www.haufe-lutz.de
USt.-IdNr.: DE 252463490
Finanzamt Karlsruhe

Geltungsbereich

Die nachfolgenden Allgemeinen Gesch�ftsbedingungen gelten ausschlie�lich f�r die Internet- Gesch�ftsbeziehung �ber die Handelsplattform(en) abebooks zwischen Bestellern und Antiquariat Haufe & Lutz, Inh. Thomas Haufe (nachfolgend H�ndler ...

More Information

Shipping Terms:

Lieferzeiten:

Die Ware wird innerhalb von 3 Tagen nach Eingang der Bestellung (bei Vorkasse nach Gutschrift des Zahlungsbetrags) zum Versand aufgegeben.

Die Versandkostenpauschalen basieren auf Durchschnittswerten f�r 1 kg schwere B�cher. �ber abweichende Kosten (z.B. wegen eines sehr schweren Buches) werden Sie gegebenenfalls vom Verk�ufer informiert.

Detailed Seller Information

Payment Methods
accepted by seller

Check PayPal Invoice

Add to Wants

Items related to Automated theorem-proving in non-classical logics.

Automated theorem-proving in non-classical logics.

Thistlewaite, Paul B.

Used - Soft cover

Seller's business information