Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science, Band 31)

Allgemeine Geschäftsbedingungen von Antiquariat Armebooks 1. Geltungsbereich 1.1 Diese Geschäftsbedingungen gelten für die gesamte Geschäftsbeziehung zwischen Antiquariat Armebooks Inhaber Chollada Ganz (im Folgenden Verkäufer genannt), und dem Kunden (im Folgenden Käufer genannt), die über das Internet Verträge abschließen. 1.2 Kunden im Sinne der Ziffer 1.1 sind sowohl Verbraucher als auch Unternehmer, wobei ein Verbraucher jede natürliche Person ist, die ein Rechtsgeschäft zu einem Zweck abschließt, der weder ihrer gewerblichen noch ihrer selbständigen beruflichen Tätigkeit zugerechnet werden kann. Dagegen ist ein Unternehmer jede natürliche oder juristische Person oder eine rechtsfähige Personengesellschaft, die bei Abschluss eines Rechtsgeschäfts in Ausübung ihrer selbständigen beruflichen oder gewerblichen Tätigkeit handelt. 1.3 Für beide Parteien gelten ausschließlich die nachfolgenden Allgemeinen Geschäftsbedingungen in ihrer zum Zeitpunkt des Vertragsabschlusses gültigen Fassung. 1.4 Abweichende Bedingungen des Käufers erkennt der Verkäufer nur an, wenn dies ausdrücklich und in Schriftform (Text, E-Mail) vereinbart wurde. 2. Vertragsabschluss 2 Der Verkäufer liefert die vom Käufer gekauften Waren oder erbringt Dienstleistungen nach Angebotsannahme. Sollte der Verkäufer nachträglich erkennen, dass sich ein Fehler bei den Angaben zu einem Produkt, zu einem Preis oder zu einer Lieferbarkeit eingeschlichen hat, wird der Verkäufer den Käufer hiervon umgehend informieren. Dieser kann den Auftrag unter den abgeänderten Konditionen nochmals bestätigen. Andernfalls ist der Verkäufer zum Rücktritt vom Vertrag berechtigt. 3. Liefer- und Versandbedingungen sowie Gefahrübergang 3.1 Die Versandkosten sind in jeder Artikelbeschreibung separat angegeben. 3.2 Die Lieferung von Waren erfolgt regelmäßig auf dem Versandwege und an die vom Kunden angegebene Lieferanschrift. Bei der Abwicklung der Transaktion ist ausschließlich die in der Bestellabwicklung des Verkäufers angegebene Lieferanschrift maßgeblich. 3.3 Ist eine Lieferung an den Kunden nicht möglich, sendet das beauftragte Transportunternehmen die Ware an den Verkäufer zurück, wobei der Kunde die Kosten für die erfolglose Anlieferung zu tragen hat. Dies gilt nicht, wenn der Kunde den erfolglosen Zustellungsversuch nicht zu vertreten hat. 3.4 Bei Lieferung auf Rechnung wird der Kaufpreis fällig, nachdem die Ware geliefert und in Rechnung gestellt wurde. In diesem Fall ist der Kaufpreis innerhalb von 10 (zehn) Tagen ab Erhalt der Rechnung ohne Abzug zu zahlen, sofern nichts anderes vereinbart ist. Der Verkäufer wird in diesem Fall ermächtigt, die Daten des Kunden zum Zwecke einer Bonitätsprüfung an die SCHUFA Holding AG weiterzugeben. Der Verkäufer behält sich das Recht vor, abhängig vom Ergebnis der Bonitätsprüfung dem Kunden die Zahlungsart Lieferung auf Rechnung zu verweigern. 3.5 Grundsätzlich geht die Gefahr des zufälligen Untergangs und der zufälligen Verschlechterung der verkauften Ware mit der Übergabe an den Kunden oder eine empfangsberechtigte Person über. Handelt es sich bei dem Kunden um einen Unternehmer (dieser handelt in Ausübung seiner gewerblichen oder selbständigen beruflichen Tätigkeit; § 14 BGB), geht die Gefahr des zufälligen Untergangs und der zufälligen Verschlechterung beim Versendungskauf mit der Auslieferung der Ware am Geschäftssitz des Verkäufers an eine geeignete Transportperson über. 3.6 Gegenüber einem Unternehmer gelten alle vereinbarten Lieferfristen vorbehaltlich richtiger und rechtzeitiger Selbstbelieferung in Fällen, in denen der Verkäufer ein konkretes Deckungsgeschäft abgeschlossen und die fehlende Verfügbarkeit nicht zu vertreten hat. 3.7 Weitere Kosten fallen im Einzelfall bei grenzüberschreitenden Lieferungen an, wie z.B. weitere Steuern und/oder Abgaben, etwa in Form von Zöllen. 4. Preis- und Zahlungsbedingungen Alle Preise verstehen sich inklusive gesetzlicher Mehrwertsteuer und zuzüglich Versandkosten (siehe Ziffer 3). Rechnungen sind sofort und ohne jeden Abzug fällig. Gerät der Besteller mit der Zahlung in Verzug, so sind wir berechtigt, Mahngebühren in Höhe von 6,00 EUR sowie Verzugszinsen in gesetzlicher Höhe zu verlangen. Die Geltendmachung eines weitergehenden Schadensersatzes bleibt vorbehalten. 5.Eigentumsvorbehalt 5. 1 Der Verkäufer behält sich das Eigentum an aller Ware, die von ihm an einen Käufer ausgeliefert wird, bis zur endgültigen und vollständigen Zahlung der gelieferten Ware vor. 5.2 Soweit der Verkäufer im Rahmen der Gewährleistung eine Ware austauscht, wird bereits heute vereinbart, dass das Eigentum an der auszutauschenden Ware wechselseitig in dem Zeitpunkt vom Käufer auf den Verkäufer bzw. umgekehrt übergeht, in dem einerseits der Verkäufer die Ware vom Kunden zurückgesandt bekommt bzw. der Kunde die Austauschlieferung vom Verkäufer erhält. 5.3 Solange der Kaufpreis noch nicht vollständig bezahlt ist, ist der Käufer verpflichtet die Ware pfleglich zu behandeln. Der Käufer verpflichtet sich weiter, einen Zugriff Dritter auf die Ware (etwa bei einer Pfändung), etwaige Beschädigung der Ware oder deren Vernichtung, einen Besitzwechsel der Ware, sowie den eigenen Wohnsitzwechsel unverzüglich dem Verkäufer anzuzeigen. 5.4 Der Verkäufer ist berechtigt, bei vertragswidrigem Verhalten des Kunden, insbesondere bei Zahlungsverzug, vom Vertrag zurückzutreten und die Ware herauszuverlangen. 6. Widerrufsrecht für Verbraucher: Widerrufsbelehrung Widerrufsrecht Sie haben das Recht, binnen vierzehn Tagen ohne Angabe von Gründen diesen Vertrag zu widerrufen. Die Widerrufsfrist beträgt vierzehn Tage ab dem Tag an dem Sie oder ein von Ihnen benannter Dritter, der nicht der Beförderer ist, die letzte Ware in Besitz genommen haben bzw. hat. Um Ihr Widerrufsrecht auszuüben, müssen Sie uns Antiquariat Armebooks, Schmalkaldenerstrasse 6, 79219 65929 Frankfurt, Deutschland, Tel.: 06997393589, E-Mail: aloismanfred1@gmail.com) mittels einer eindeutigen Erklärung (z.B. ein mit der Post versandter Brief, Telefax oder E-Mail) über Ihren Entschluss, diesen Vertrag zu widerrufen, informieren. Sie können dafür das beigefügte Muster-Widerrufsformular verwenden, das jedoch nicht vorgeschrieben ist. Zur Wahrung der Widerrufsfrist reicht es aus, dass Sie die Mitteilung über die Ausübung des Widerrufsrechts vor Ablauf der Widerrufsfrist absenden. Folgen des Widerrufs Wenn Sie diesen Vertrag widerrufen, haben wir Ihnen alle Zahlungen, die wir von Ihnen erhalten haben, einschließlich der Lieferkosten (mit Ausnahme der zusätzlichen Kosten, die sich daraus ergeben, dass Sie eine andere Art der Lieferung als die von uns angebotene, günstigste Standardlieferung gewählt haben), unverzüglich und spätestens binnen vierzehn Tagen ab dem Tag zurückzuzahlen, an dem die Mitteilung über Ihren Widerruf dieses Vertrags bei uns eingegangen ist. Für diese Rückzahlung verwenden wir dasselbe Zahlungsmittel, das Sie bei der ursprünglichen Transaktion eingesetzt haben, es sei denn, mit Ihnen wurde ausdrücklich etwas anderes vereinbart; in keinem Fall werden Ihnen wegen dieser Rückzahlung Entgelte berechnet. Wir können die Rückzahlung verweigern, bis wir die Waren wieder zurückerhalten haben oder bis Sie den Nachweis erbracht haben, dass Sie die Waren zurückgesandt haben, je nachdem, welches der frühere Zeitpunkt ist. Sie haben die Waren unverzüglich und in jedem Fall spätestens binnen vierzehn Tagen ab dem Tag, an dem Sie uns über den Widerruf dieses Vertrags unterrichten, an uns zurückzusenden oder zu übergeben. Die Frist ist gewahrt, wenn Sie die Waren vor Ablauf der Frist von vierzehn Tagen absenden. Wir tragen die Kosten der Rücksendung der Waren. Sie müssen für einen etwaigen Wertverlust der Waren nur aufkommen, wenn dieser Wertverlust auf einen zur Prüfung der Beschaffenheit, Eigenschaften und Funktionsweise der Waren nicht notwendigen Umgang mit ihnen zurückzuführen ist. Muster-Widerrufsformular: (Wenn Sie den Vertrag widerrufen möchten, dann füllen Sie bitte dieses Formular aus und senden Sie es zurück.) An: Antiquariat Armebooks , Schmalkaldenerstrasse 6, 65929 Frankfurt, Deutschland, Tel.: 06997393589, E-Mail: aloismanfred1@gmail.com Hiermit widerrufe(n) ich/wir (*) den von mir/uns (*) abgeschlossenen Vertrag über den Kauf der folgenden Waren (*)/die Erbringung der folgenden Dienstleistung (*): Bestellt am (*)/erhalten am (*) Name des/der Verbraucher(s) Anschrift des/der Verbraucher(s) Unterschrift des/der Verbraucher(s) (nur bei Mitteilung auf Papier) Datum --------------- (*) Unzutreffendes bitte streichen. Ausschluss des Widerrufs Das Widerrufsrecht besteht nicht bei Verträgen - zur Lieferung von Audio- oder Videoaufzeichnungen (z.B. CDs und DVDs) oder von Software, sofern die gelieferten Datenträger von Ihnen entsiegelt worden sind. Ende der Widerrufsbelehrung 7. Mängelansprüche, Garantiebedingungen, Schadensersatzansprüche 7.1. Die gesetzliche Verjährungsfrist für Mängelansprüche beträgt bei Neuware 2 Jahre, bei Gebrauchtware 1 Jahr, und beginnt mit der Übergabe der Ware durch den Paketzusteller (oder bei Abholung). In dieser Zeit werden alle Mängel, die der gesetzlichen Gewährleistungspflicht unterliegen, kostenlos behoben. Mängelansprüche sind zunächst auf Nacherfüllung beschränkt. Bei Fehlschlagen der Nacherfüllung besteht das Wahlrecht des Käufers zwischen dem Anspruch auf Rücktritt vom Kaufvertrag oder auf Minderung des Kaufpreises. Soweit für Waren durch den Hersteller eine Garantie gewährt wird, ergeben sich die Einzelheiten aus den Garantiebedingungen, die dem jeweils gelieferten Artikel beigefügt sind. 7.2 Erkennt der Käufer bei Erhalt der Lieferung Schäden an der Verpackung, soll er sich bei Annahme der Ware die Beschädigung von dem Transportunternehmer schriftlich bestätigen lassen und gegenüber dem Verkäufer unverzüglich eine Mitteilung zu machen, dass die Annahme wegen der beschädigten Verpackung unter Vorbehalt geschieht. 7.3 Voraussetzung für die Gewährleistungsansprüche ist, dass der Mangel nicht durch unsachgemäße Benutzung oder Überbeanspruchung entstanden ist. 7.4 Hinsichtlich etwaiger Schadensersatzansprüche wegen Mängel der Sachen gelten die gesetzlichen Vorschriften. 8. Information zur Batterieverordnung 8.1 Altbatterien dürfen nicht über den Hausmüll entsorgt werden. Der Kunde kann Altbatterien an einer kommunalen Sammelstelle oder im Handel vor Ort abgeben. Mit Ausnahme von Starterbatterien ist die Abgabe an kommunalen Sammelstellen kostenlos. Batterien, die der Kunde vom Verkäufer erhalten hat, können nach Gebrauch ausreichend frankiert per Post an den Verkäufer zurückgesandt werden. 8.2 Batterien, die Schadstoffe enthalten, sind mit dem Symbol einer durchgekreuzten Mülltonne gekennzeichnet. Unter dem Mülltonnen-Symbol befindet sich die chemische Bezeichnung des Schadstoffes - im Beispiel "Cd" für Cadmium. "Pb" steht für Blei, "Hg" für Quecksilber. 8.3 Der Kunde hat die Möglichkeit, diese Informationen auch nochmals in den Begleitpapieren der Warensendung oder in der Bedienungsanleitung des Herstellers nachzulesen. 9. Rechtswahl 9.1 Für sämtliche Rechtsbeziehungen der Parteien gilt das Recht der Bundesrepublik Deutschland unter Ausschluss der Gesetze über den internationalen Kauf beweglicher Waren. Bei Verbrauchern gilt diese Rechtswahl nur insoweit, als nicht der gewährte Schutz durch zwingende Bestimmungen des Rechts des Staates, in dem der Verbraucher seinen gewöhnlichen Aufenthalt hat, entzogen wird. 9.2 Ist der Kunde Kaufmann, juristische Person des öffentlichen Rechts oder öffentlich-rechtliches Sondervermögen, ist ausschließlicher Gerichtsstand für alle Streitigkeiten aus diesem Vertrag der Geschäftssitz des Verkäufers. Dasselbe gilt, wenn der Kunde keinen allgemeinen Gerichtsstand in Deutschland oder der EU hat oder Wohnsitz oder gewöhnlicher Aufenthalt im Zeitpunkt der Klageerhebung nicht bekannt sind. Die Befugnis, auch das Gericht an einem anderen gesetzlichen Gerichtsstand anzurufen bleibt hiervon unberührt. 9.3 Die Vertragssprache ist Deutsch. 10. Datenschutz 10.1 Ihre Adresse ist für eine schnelle und fehlerfreie Bearbeitung in unserer EDV gespeichert. Die Behandlung der überlassenen Daten erfolgt in Übereinstimmung mit den Bestimmungen des Bundesdatenschutzgesetzes sowie des Teledienstdatengesetzes. 10.2 Der Verkäufer wird Kundendaten nicht über den unter Ziffer 3.4 und Ziffer 10.1 geregelten Umfang hinaus verwerten oder weitergeben.

If you are a consumer you can withdraw from the contract in accordance with the following. Consumer means any natural person who is acting for purposes which are outside his trade, business, craft or profession.

Information regarding the right of withdrawal

Statutory right to withdraw

You have the right to withdraw from this contract within 14 days without giving any reason.

The withdrawal period will expire after 14 days from the day on which you acquire, or a third party other than the carrier and indicated by you acquires, physical possession of the last good or the last lot or piece.

To exercise the right of withdrawal, electronically fill in and submit a clear statement on our website, under "My Purchases" in "My Account". We will communicate to you an acknowledgement of receipt of such a withdrawal on a durable medium (e.g. by e-mail) without delay.

To meet the withdrawal deadline, it is sufficient for you to send your communication concerning your exercise of the right of withdrawal before the withdrawal period has expired.

Effects of withdrawal

If you withdraw from this contract, we will reimburse to you all payments received from you, including the costs of delivery (except for the supplementary costs arising if you chose a type of delivery other than the least expensive type of standard delivery offered by us).

We may make a deduction from the reimbursement for loss in value of any goods supplied, if the loss is the result of unnecessary handling by you.

We will make the reimbursement without undue delay, and not later than 14 days after the day on which we are informed about your decision to withdraw from this contract.

We will make the reimbursement using the same means of payment as you used for the initial transaction, unless you have expressly agreed otherwise; in any event, you will not incur any fees as a result of such reimbursement.

We may withhold reimbursement until we have received the goods back, or you have supplied evidence of having sent back the goods, whichever is the earliest.

You shall send back the goods or hand them over to Antiquariat Armebooks, Frankfurt am Main, Germany, without undue delay and in any event not later than 14 days from the day on which you communicate your withdrawal from this contract to us. The deadline is met if you send back the goods before the period of 14 days has expired. You will have to bear the direct cost of returning the goods. You are only liable for any diminished value of the goods resulting from the handling other than what is necessary to establish the nature, characteristics and functioning of the goods.

Exceptions to the right of withdrawal

The right of withdrawal does not apply to:

1. The delivery of newspapers, journals or magazines with the exception of subscription contracts; and
2. The supply of digital content which is not supplied on a tangible medium (e.g. on a CD or DVD) if you accepted when you placed your order that we could start to deliver it, and that you could not withdraw once delivery had started.