Facebook Twitter Pinterest
EUR 58,80
  • Alle Preisangaben inkl. USt
Auf Lager.
Verkauf und Versand durch Amazon. Geschenkverpackung verfügbar.
The lambda calculus. Its ... ist in Ihrem Einkaufwagen hinzugefügt worden

Lieferort:
Um Adressen zu sehen, bitte
Oder
Bitte tragen Sie eine deutsche PLZ ein.
Oder
Möchten Sie verkaufen?
Zur Rückseite klappen Zur Vorderseite klappen
Hörprobe Wird gespielt... Angehalten   Sie hören eine Hörprobe des Audible Hörbuch-Downloads.
Mehr erfahren
Alle 2 Bilder anzeigen

The lambda calculus. Its syntax and semantics. (Studies in logic and the foundations of mathematics, vol.103) (Englisch) Taschenbuch – 1. November 1985


Alle 3 Formate und Ausgaben anzeigen Andere Formate und Ausgaben ausblenden
Preis
Neu ab Gebraucht ab
Kindle Edition
Gebundene Ausgabe
EUR 229,10
Taschenbuch
EUR 58,80
EUR 58,80 EUR 39,00
2 neu ab EUR 58,80 5 gebraucht ab EUR 39,00
click to open popover

Es wird kein Kindle Gerät benötigt. Laden Sie eine der kostenlosen Kindle Apps herunter und beginnen Sie, Kindle-Bücher auf Ihrem Smartphone, Tablet und Computer zu lesen.

  • Apple
  • Android
  • Windows Phone

Geben Sie Ihre Mobiltelefonnummer ein, um die kostenfreie App zu beziehen.

Jeder kann Kindle Bücher lesen — selbst ohne ein Kindle-Gerät — mit der KOSTENFREIEN Kindle App für Smartphones, Tablets und Computer.

Produktinformation

Produktbeschreibungen

Pressestimmen

This book is (almost) an encyclopedia of type-free lambda calculus... The reviewer is surprised by the author's success in getting in such an amount of material with motivations and complete proofs... Zentralblatt fur Mathematik It brings together virtually all of the current knowledge on the subject and will be indispensable for serious students of the lambda calculus... Journal of Symbolic Logic There must have been an exceptional amount of effort to ensure the high quality of text and printing... Journal of Symbolic Logic

Synopsis

The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical improvements have been made to this edition. An example of a simple model is given and then the general theory (of categorical models) is developed. Indications are given of those parts of the book which can be used to form a coherent course.


Kundenrezensionen

Noch keine Kundenrezensionen vorhanden.
Sagen Sie Ihre Meinung zu diesem Artikel

Die hilfreichsten Kundenrezensionen auf Amazon.com

Amazon.com: 4,2 von 5 Sternen 4 Rezensionen
27 Personen fanden diese Informationen hilfreich.
5,0 von 5 SternenSelf-contained Encyclopedia! All you need is your patience!
am 16. Januar 2002 - Veröffentlicht auf Amazon.com
5 Personen fanden diese Informationen hilfreich.
5,0 von 5 Sternengreat book, but not available here
am 2. Juli 2004 - Veröffentlicht auf Amazon.com
16 Personen fanden diese Informationen hilfreich.
5,0 von 5 SternenIt's online
am 29. Dezember 2001 - Veröffentlicht auf Amazon.com
19 Personen fanden diese Informationen hilfreich.
3,0 von 5 SternenNot a classic, but all in all very informative
am 24. Juli 2000 - Veröffentlicht auf Amazon.com

Wo ist meine Bestellung?

Versand & Rücknahme

Brauchen Sie Hilfe?