Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de biblioth�que avec signature et cachet. BON �tat, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. C 690 9780521441896 Sprache: Englisch Gewicht in Gramm: 550.

Bestandsnummer des Verk�ufers 2498282

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel

Introduction to HOL a theorem proving environment for higher order logic ed.

Verlag

Cambridge, Cambridge University Press

Erscheinungsjahr

1993

Sprache

Englisch

ISBN-10

0521441897

ISBN-13

9780521441896

Einband

Softcover

Gewicht

550 Gramm

Verk�uferkataloge

SA MATHEMATIK

�ber diesen Titel

Inhaltsangabe

An introduction to the HOL theorem-proving system.

Cr�ticas

..".an excellent presentation of a sophisticated reasoning system." Computing Reviews

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Antiquariat Bookfarm
Germany

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Widerrufsbelehrung/ Muster-Widerrufsformular/
Allgemeine Gesch�ftsbedingungen und Kundeninformationen/ Datenschutzerkl�rung
[English below]

Widerrufsrecht f�r Verbraucher
(Verbraucher ist jede nat�rliche Person, die ein Rechtsgesch�ft zu Zwecken abschlie�t, die �berwiegend weder ihrer gewerblichen noch ihrer selbstst�ndigen beruflichen T�tigkeit zugerechnet werden k�nnen.)

Widerrufsbelehrung

Widerrufsrecht
Sie haben das Recht, binnen 30 Tagen ohne Angabe von Gr�nden diesen Vertrag zu widerrufen....

Mehr Information

Widerrufsbelehrung

Versandbedingungen

Die Versandkostenpauschalen basieren auf Sendungen mit einem durchschnittlichen Gewicht. Falls das von Ihnen bestellte Buch besonders schwer oder sperrig sein sollte, werden wir Sie informieren, falls zus�tzliche Versandkosten anfallen.

The flat shipping rates are based on shipments with an average weight. If the book you ordered is particularly heavy or bulky, we will inform you of any additional shipping charges that may apply.

Versandkosten von Deutschland nach USA

Versandkosten von Deutschland nach USA
Bestellmenge	7 bis 14�Werktage	7 bis 14�Werktage
Erster Artikel	EUR 16.00	EUR 40.00

Die Versandzeiten werden von den Verk�uferinnen und Verk�ufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, k�nnen Verz�gerungen unterliegen. Eventuell anfallende Abgaben oder Geb�hren sind von der K�uferin bzw. dem K�ufer zu tragen. Die Verk�uferin bzw. der Verk�ufer kann Sie bez�glich zus�tzlicher Versandkosten kontaktieren, um einen m�glichen Anstieg der Versandkosten f�r Ihre Artikel auszugleichen.

Impressum & Info zum Verk�ufer