Theorem proving in higher order logics: 12th international conference; proceedings. Lecture notes in computer science; Vol. 1690.

Bertot, Yves et. al. (Eds.):

Verlag: Berlin: Springer., 1999

Sprache: Englisch

Zustand: Gebraucht - Wie neu Softcover

F�r sp�ter vormerken

Verkauft von Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Deutschland

Verbandsmitglied:

GIAQ

AbeBooks-Verk�ufer seit 3. Mai 2002

Verk�uferbewertung 5 von 5 Sternen

Alle Artikel dieses Verk�ufers anzeigen

Alle Exemplare dieses Buches anzeigen

Gebraucht - Softcover

Zustand: Gebraucht - Wie neu

Preis: EUR 9,80 W�hrung umrechnen

EUR 1,50 f�r den Versand innerhalb von/der Deutschland Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb legen

F�r sp�ter vormerken

Beschreibung

VIII, 358 S. with fig and tables; 24 cm, Like new. Shrink wrapped. / Wie neu. In Folie verschwei�t. Sprache: Englisch Gewicht in Gramm: 600.

Bestandsnummer des Verk�ufers 818986

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel

Theorem proving in higher order logics: 12th international conference; proceedings. Lecture notes in computer science; Vol. 1690.

Verlag

Berlin: Springer.

Erscheinungsjahr

1999

Sprache

Englisch

Einband

Paperback.

Zustand

Wie neu

Verk�uferkataloge

Informatik, Hardware, Software

Anbieterinformationen

Pers�nliche Abholung von B�chern nach vorheriger Reservierung per Telefon (030.46796187) von Mo-Fr 10-16 Uhr Paul-Robeson-Str. 22. Bitte klingeln, kein Ladengesch�ft.

Zur Homepage des Verk�ufers

Verbandsmitglied

Verbandsmitglieder verpflichten sich, h�chste Standards einzuhalten. Sie garantieren die Echtheit aller zum Verkauf angebotenen Objekte. Ihre Objektbeschreibungen sind sachkundig und genau, etwaig vorhandene M�ngel oder Restaurationen werden offengelegt. Die Ansetzung der Verkaufspreise erfolgt nach akkurater Recherche. Alle Verk�ufe werden stets fair und redlich abgewickelt.

Unternehmensdaten des Verk�ufers

Antiquariat Thomas Haker GmbH & Co. KG
Paul-Robeson-Stra�e 22, Berlin, 10439, Germany

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Allgemeine Gesch�ftsbedingungen mit Kundeninformationen

Inhaltsverzeichnis

Geltungsbereich
Vertragsschluss
Widerrufsrecht
Preise und Zahlungsbedingungen
Liefer- und Versandbedingungen
Eigentumsvorbehalt
M�ngelhaftung
Anwendbares Recht
Gerichtsstand

Geltungsbereich
1.1 Diese Allgemeinen Gesch�ftsbedingungen (nachfolgend "AGB") der Antiquariat Thomas Haker GmbH & Co. KG (nachfolgend "Verk�ufer"), gelten f�r alle Vertr�ge, die ein Verbraucher oder Unternehmer (nachfolgend ?Kunde?) mit dem Verk�ufer hinsi...

Mehr Information

Widerrufsbelehrung

Versandbedingungen

Versandkosten innerhalb von Deutschland

Versandkosten innerhalb von Deutschland
Bestellmenge	2 bis 8�Werktage	2 bis 8�Werktage
Erster Artikel	EUR 1.50	EUR 1.50

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

Zahlungsarten

PayPal Rechnung

Zu Kaufgesuchen hinzuf�gen