Automated theorem-proving in non-classical logics.

Thistlewaite, Paul B.

ISBN 10: 0273087819 ISBN 13: 9780273087816

Edit� par London, Pitman., 1988

Langue: anglais

Ancien(s) ou d'occasion Couverture souple

Mettre de c�t�

Vendu par Antiquariat Haufe & Lutz, Karlsruhe, BW, Allemagne

Membre d'association :

VDA
ILAB

Vendeur AbeBooks depuis 11 avril 2003

�valuation du vendeur 4 sur 5 �toiles

Afficher tous les articles du vendeur

Afficher tous les exemplaires de ce livre

Ancien(s) ou d'occasion - Couverture souple

Prix: EUR 22 Autre devise

EUR 15 exp�dition depuis Allemagne vers France Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Mettre de c�t�

A propos de cet article

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

N� de r�f. du vendeur 87465CB

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre

Automated theorem-proving in non-classical logics.

�diteur

London, Pitman.

Date de parution

1988

Langue

anglais

ISBN � 10 chiffres

0273087819

ISBN � 13 chiffres

9780273087816

Reliure

Couverture souple

Catalogues du vendeur

Naturwissenschaften

Description de la librairie

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

Visitez la page d�accueil du vendeur

Membre d'association

Les membres de ces associations s'engagent � maintenir des normes de qualit� sup�rieure. Ils garantissent l'authenticit� de tous les articles propos�s � la vente. Ils fournissent des descriptions expertes et d�taill�es, indiquent tous les d�fauts importants ainsi que les restaurations, fournissent des prix clairs et pr�cis et font preuve d��quit� et d�honn�tet� tout au long de la relation commerciale.

Informations commerciales relatives au vendeur

Antiquariat Haufe & Lutz
Germany

Conditions de vente et de livraison

Conditions g�n�rales de vente

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 ...

Pour plus d'information

Conditions d'exp�dition

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.

Informations vendeur d�taill�es