booklooker
Ausgezeichnete Bewertungen
logo
mediatypes Bücher

A Lambda Calculus Satellite : (Reihe: Studies in Logic - Mathematical Logic and Foundations, Volume 94) – Buch gebraucht kaufen

Möchten Sie selbst gebrauchte Bücher verkaufen? So einfach geht's …

Verkäufer-Bewertung: 100,0% positiv (3540 Bewertungen)
dieses Buch wurde bereits 1 mal aufgerufen
gebrauchtes Buch – Barendregt, Henk; Manzonetto – A Lambda Calculus Satellite : (Reihe: Studies in Logic - Mathematical Logic and Foundations, Volume 94) vergrössern
Preis: 39,90 € *

versandkostenfrei
gebrauchtes Buch

* Inkl. Mwst.

ISBN:

9781848904248

(ISBN-10: 184890424X)
Zustand:
Guter Zustand
Format:
26x21cm
Seiten:
598 Seiten
Gewicht:
1528 g
Ort:
Rickmansworth
Einband:
Hardcover (Hardcover)
Sprache:
Englisch
Beschreibung:
Einband mit geringen Gebrauchs-/Regalspuren - ansonsten sauberes und sehr gutes Exemplar.

XVI, 582 Seiten.
Mit zahlreichen schwarzweißen Abbildungen.
ISBN-10: 184890424X. EAN/ISBN-13: 9781848904248.

Klappentext/Beschreibung:
EINBANDTEXT: In 1936 the notion of intuitive computability was operationalized in two different wave via Turing machines and via A-calculus. The difference consisted in manipulating beads (bits) for the former approach versus manipulating trees (rewriting -terms) for the latter. Both proposals turned out to formalize the same notion of computability, and led to the Church-Turing Thesis, claiming that intuitive computability is captured in the correct way. This resulted in the foundation of imperative and functional programming. Variants of A-calculus are being used in another powerful field of applications, namely proof-checking, the basis for certifying mathematical theorems and thereby high tech industrial products These two areas of research are still being actively investigated and make A-calculus a major tool in the present stages of science and of the industrial revolution. In this book x-calculus is considered from another angle: as a study of these tree-like structures, investigating the relation between their shape and their action. This is like studying numbers qualitatively, rather than for their applications dealing quantitatively with objects and phenomena in the world. Barendregt's book The Lambda Calculus, its Syntax and Semantics (1981/84), does treat the subject from the same methodological viewpoint, and includes several open conjectures. In the more than four decades that have passed, most but not all of these conjectures have been solved, sometimes in ingenious PhD theses. This Satellite to the aforementioned book presents these solutions in a uniform style and adds other topics of interest.

Kostenloser Versand innerhalb von Deutschland über DHL (mit Sendungsverfolgung).
Erschienen:
2022
Bestell-Nr.:
69879

Lieferzeit:
flag_common DE 3 bis 5 Werktage *

Zusatzinformation des Verkäufers
.
Der exlibris24 Bestellservice!
+ Fachgerechter Versand in stabiler und umweltschonender Verpackung!
+ Zahlung via PayPal, mittels Banküberweisung oder auf Rechnung (Vorkasse vorbehalten)!
+ Bestätigungsmail mit Versandankündigung nach Abschluss der Auftragsbearbeitung!
+ Rechnung mit ausgewiesener MwSt. als Sendungsbeilage!
+ Ihre Fragen beantworten wir gerne schnellstmöglich!

Sofort bestellen | Anfragen | In den Warenkorb

Verkäufer/in dieses Artikels


Angebotene Zahlungsarten

  • Banküberweisung (Vorkasse)
  • Verkäufer/in akzeptiert PayPal-Zahlung (Vorkasse)
  • Offene Rechnung (Vorkasse vorbehalten)

Ihre allgemeinen Versandkosten

Ihre allgemeinen Versandkosten gestaffelt nach Gewicht
Gewicht Deutschland Schweiz EU Welt
bis 800 g frei 14,90 € 11,90 € 19,90 €
bis 1600 g frei 19,90 € 14,90 € 39,90 €
bis 2600 g frei 24,90 € 17,90 € 69,90 €
bis 5600 g frei 29,90 € 19,90 € 89,90 €
darüber frei

Zusätzliche Vertrags-, Versand-, Liefer- und Zahlungsbedingungen

.
Bei Bestellungen zum Versand außerhalb von Deutschland mit einem Gewicht über 5600 Gramm bitte zuvor die Versandkosten anfragen.

Eine Abholung von Bestellungen ist aus organisatorischen Gründen nicht möglich.
.

Regelungen zum Widerruf bzw. zur Rückgabe

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 Waren in Besitz genommen haben bzw. hat.

Um Ihr Widerrufsrecht auszuüben, müssen Sie uns (Marie-Luise und Peter Drewniok GbR, Schildackerweg 16, 79115 Freiburg im Breisgau, Telefon: 0761 4880007, E-Mail: [email protected]) 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. Sie tragen die unmittelbaren 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.


--- Anlage Muster-Widerrufsformular ---


Muster-Widerrufsformular

(Wenn Sie den Vertrag widerrufen wollen, dann füllen Sie bitte dieses Formular aus und senden Sie es zurück.)

- An Marie-Luise und Peter Drewniok GbR, Schildackerweg 16, 79115 Freiburg im Breisgau, E-Mail: [email protected]

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

Widerrufs-Formular anzeigen