Trade in your item
Get a $18.00
Gift Card.
Have one to sell? Sell on Amazon
Flip to back Flip to front
Listen Playing... Paused   You're listening to a sample of the Audible audio edition.
Learn more
See this image

The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition Paperback – November 15, 1985

ISBN-13: 978-0444875082 ISBN-10: 0444875085 Edition: Revised

3 New from $393.81 17 Used from $35.92
Amazon Price New from Used from
Hardcover
"Please retry"
$434.46
Paperback
"Please retry"
$393.81 $35.92

Free%20Two-Day%20Shipping%20for%20College%20Students%20with%20Amazon%20Student



NO_CONTENT_IN_FEATURE

Save up to 90% on Textbooks
Rent textbooks, buy textbooks, or get up to 80% back when you sell us your books. Shop Now

Product Details

  • Paperback: 621 pages
  • Publisher: North Holland; Revised edition (November 15, 1985)
  • Language: English
  • ISBN-10: 0444875085
  • ISBN-13: 978-0444875082
  • Product Dimensions: 1.3 x 6.2 x 9 inches
  • Shipping Weight: 2.3 pounds
  • Average Customer Review: 4.5 out of 5 stars  See all reviews (4 customer reviews)
  • Amazon Best Sellers Rank: #595,411 in Books (See Top 100 in Books)

Editorial Reviews

Review

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 für 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

Important Information

Ingredients
Example Ingredients

Directions
Example Directions

Customer Reviews

4.5 out of 5 stars
5 star
3
4 star
0
3 star
1
2 star
0
1 star
0
See all 4 customer reviews
Share your thoughts with other customers

Most Helpful Customer Reviews

23 of 23 people found the following review helpful By Hidetaka Kondoh on January 16, 2002
Format: Paperback
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.
Read more ›
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again
5 of 10 people found the following review helpful By A Customer on July 2, 2004
Format: Paperback
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.
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again
16 of 31 people found the following review helpful By A Customer on December 29, 2001
Format: Paperback
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......
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again
17 of 85 people found the following review helpful By A Customer on July 23, 2000
Format: Paperback
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.
3 Comments Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again

Customer Images

Search

What Other Items Do Customers Buy After Viewing This Item?