Facebook Twitter Pinterest
EUR 55,59
  • Alle Preisangaben inkl. MwSt.
Auf Lager.
Verkauf und Versand durch Amazon. Geschenkverpackung verfügbar.
The lambda calculus. Its ... ist in Ihrem Einkaufwagen hinzugefügt worden
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 Formate und Ausgaben anzeigen Andere Formate und Ausgaben ausblenden
Neu ab Gebraucht ab
Kindle Edition
"Bitte wiederholen"
"Bitte wiederholen"
EUR 55,59
EUR 55,59 EUR 39,00
4 neu ab EUR 55,59 7 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.




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


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.


Es gibt noch keine Kundenrezensionen auf Amazon.de
5 Sterne
4 Sterne
3 Sterne
2 Sterne
1 Stern

Die hilfreichsten Kundenrezensionen auf Amazon.com (beta)

Amazon.com: 4.5 von 5 Sternen 4 Rezensionen
26 von 26 Kunden fanden die folgende Rezension hilfreich
5.0 von 5 Sternen Self-contained Encyclopedia! All you need is your patience! 16. Januar 2002
Von Hidetaka Kondoh - Veröffentlicht auf Amazon.com
Format: Taschenbuch
This encyclopedic monograph is now a classic of this field,
lambda-calculus, which is the theoretical basis of practical
functional programming languages such as Standard ML, CAML, Haskell etc.
This book itself is purely theoretical and principally aimed for researchers/students of its field.
This book is very comprehensive. In fact, this book successfully compiles almost all results on type-free lambda-calculus up to the time of its publication (early 1980's).
Surprisingly enough!, however, this very technical encyclopedic monograph is self-contained.
Proofs of all theorems/lemmata are given up to details except for cases that they are intentionally left for excercises.
Therefore, even a novice of its field can follow all of the proofs. The only one thing that such a novice must have is patience. His/her patience will surely be rewarded.
Backgrounds assumed in this encyclopedic monograph is the very beginning level understanding of mathematical logic. If you are not familiar with math logic, you can learn the necessary backgrounds with any introductory textbooks on math logic.
All more technical notions and notations are defined/explained in this book. Many interesting examples are given.
Exercises at the end of each charpter are very helpful and also are very interesting. The author clearly paid much attention and took care on the arrangement of exercises so that readers can tackle easier one at first. Moreover such carefully arranged exercises tell readers more. Readers will understand very delicate but important points during solving exercises by themselves. In other words, the last sentence means the following fact: imagine there are two intuitively similar notions
(it is often the case that very abstract theory has many such pairs of notions) that novices can confuse each other. Solving one exercise tell the novice that one notion is not implied from the other. Also solving another exercise tell vice-versa.
Indices and references are very useful. In fact, indices are carefully designed. Not only the index of technical terms, there are indices for symbols and authors (of references refered in the main text). References are very comprehensive.
There are very few typos (another surprising points! Math books almost always handreds of typos) except for misuses of type-faces which are clearly due to typesetting by the publisher.
This book, as I pointed before, is on pure math logic and its readership is clearly researchers/students of its field.
But, as a computer scientist, I recommend this book to all of the functional programmers, who, at least, are serious about the background of their profession.
If you read this book, you will understand that there is a very beautiful (though abstract) world of theories behind ML/Haskell programming.
If you are a student who wants study lambda-calculus, combinatory logic, type theory, constructive math, etc.,
then, this book is for you, too, of course.
This encyclopedia doubtlessly will give you the basis to become the researcher on such fields.
5 von 12 Kunden fanden die folgende Rezension hilfreich
5.0 von 5 Sternen great book, but not available here 2. Juli 2004
Von Ein Kunde - Veröffentlicht auf Amazon.com
Format: Taschenbuch
I have this book checked out from a university library, and it is quite wonderful. Despite the fact that Amazon continues to list it for sale, it is not currently available.
16 von 34 Kunden fanden die folgende Rezension hilfreich
5.0 von 5 Sternen It's online 29. Dezember 2001
Von Ein Kunde - Veröffentlicht auf Amazon.com
Format: Taschenbuch
This is a great book. A must buy for all graduate students in computer science. Because the book is out of print, you can obtain it online at......
19 von 95 Kunden fanden die folgende Rezension hilfreich
3.0 von 5 Sternen Not a classic, but all in all very informative 24. Juli 2000
Von Ein Kunde - Veröffentlicht auf Amazon.com
Format: Taschenbuch
I accidently bought this book thinking I was buying a traditional calculus book in order to prepare for a standardized test I had to take. After a few chapters I realized this was no ordinary Calculus book. None-the-less I got much out of it. It is the kind of book where the author builds up the advanced topics from most basic concepts, so it is pretty much accessible to anyone who is reasonably intelligent. It also has a very nice graphical lay-out with regards to the symbols and such which makes it much easier to read and learn from.
Although it didn't help me do well on the AP Calculus test, I would suggest buying it to anyone who has a good reason to. It is the kind of book that you can use to learn from and use it as a reference book.
Waren diese Rezensionen hilfreich? Wir wollen von Ihnen hören.