Automated theorem-proving in non-classical logics.

Thistlewaite, Paul B.

ISBN 10: 0273087819 ISBN 13: 9780273087816

Editorial: London, Pitman., 1988

Idioma: Ingl�s

Usado Encuadernaci�n de tapa blanda

Guardar para m�s tarde

Vendido por Antiquariat Haufe & Lutz, Karlsruhe, BW, Alemania

Miembro de asociaci�n:

VDA
ILAB

Vendedor de AbeBooks desde 11 de abril de 2003

Calificaci�n del vendedor: 4 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Usado - Encuadernaci�n de tapa blanda

Precio: EUR 22,00 Convertir moneda

EUR 15,00 gastos de env�o desde Alemania a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

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

N� de ref. del art�culo 87465CB

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Automated theorem-proving in non-classical logics.

Editor

London, Pitman.

Fecha de publicaci�n

1988

Idioma

Ingl�s

ISBN 10

0273087819

ISBN 13

9780273087816

Encuadernaci�n

Encuadernaci�n de tapa blanda

Cat�logos de vendedores

Naturwissenschaften

Descripci�n de la librer�a

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

Ver la p�gina web de la librer�a

Miembro de asociaci�n

Los miembros de estas asociaciones est�n comprometidos a mantener los est�ndares m�s altos. Ellos garantizan la autenticidad de los art�culos que ofrecen a la venta. Tienen descripciones expertas y detalladas, se�alan los defectos significativos y/o restauraciones, muestran los precios exactos y llevan a cabo un servicio de imparcialidad y honestidad durante la experiencia de la compra.

Informaci�n empresarial del vendedor

Antiquariat Haufe & Lutz
Germany

Condiciones de venta y env�o

Condiciones de venta

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

M�s informaci�n

Condiciones de env�o

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.

Informaci�n detallada sobre el vendedor