Buy New
$59.90
Qty:1
  • List Price: $72.95
  • Save: $13.05 (18%)
In Stock.
Ships from and sold by Amazon.com.
Gift-wrap available.
The Lambda Calculus, Its ... has been added to your Cart
Sell yours for a Gift Card
We'll buy it for $2.06
Learn More
Trade in now
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 all 2 images

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

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

Buy New
Price: $59.90
9 New from $59.90 19 Used from $39.97
Amazon Price New from Used from
Hardcover
"Please retry"
$39.77
Paperback
"Please retry"
$59.90
$59.90 $39.97
Free%20Two-Day%20Shipping%20for%20College%20Students%20with%20Amazon%20Student


Best Books of the Year
See the Best Books of 2014
Looking for something great to read? Browse our editors' picks for 2014's Best Books of the Year in fiction, nonfiction, mysteries, children's books, and much more.

Frequently Bought Together

The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition + An Introduction to Functional Programming Through Lambda Calculus (Dover Books on Mathematics)
Price for both: $77.73

Buy the selected items together
NO_CONTENT_IN_FEATURE

Shop the new tech.book(store)
New! Introducing the tech.book(store), a hub for Software Developers and Architects, Networking Administrators, TPMs, and other technology professionals to find highly-rated and highly-relevant career resources. Shop books on programming and big data, or read this week's blog posts by authors and thought-leaders in the tech industry. > Shop now

Product Details

  • Paperback: 621 pages
  • Publisher: North Holland; Revised edition (November 1, 1985)
  • Language: English
  • ISBN-10: 0444875085
  • ISBN-13: 978-0444875082
  • Product Dimensions: 6 x 1.4 x 9 inches
  • Shipping Weight: 2.3 pounds (View shipping rates and policies)
  • Average Customer Review: 4.5 out of 5 stars  See all reviews (4 customer reviews)
  • Amazon Best Sellers Rank: #1,536,053 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 11 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.
1 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 32 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
18 of 87 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.
5 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