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

4 customer reviews
ISBN-13: 978-0444875082
ISBN-10: 0444875085
Why is ISBN important?
ISBN
This bar-code number lets you verify that you're getting exactly the right version or edition of a book. The 13-digit and 10-digit formats both work.
Scan an ISBN with your phone
Use the Amazon App to scan ISBNs and compare prices.
Sell yours for a Gift Card
We'll buy it for $5.00
Learn More
Trade in now
Have one to sell? Sell on Amazon
Buy new
$72.95
In Stock.
Ships from and sold by Amazon.com. Gift-wrap available.
7 New from $72.95
Qty:1
The Lambda Calculus, Its ... has been added to your Cart
Amazon Price New from Used from
eTextbook
"Please retry"
Hardcover
"Please retry"
$74.05
Paperback, November 1, 1985
"Please retry"
$72.95
$72.95 $32.31
More Buying Choices
7 New from $72.95 18 Used from $32.31
Free%20Two-Day%20Shipping%20for%20College%20Students%20with%20Amazon%20Student


InterDesign Brand Store Awareness Textbooks

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: $92.00

Buy the selected items together

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
NO_CONTENT_IN_FEATURE

Shop the New Digital Design Bookstore
Check out the Digital Design Bookstore, a new hub for photographers, art directors, illustrators, web developers, and other creative individuals to find highly rated and highly relevant career resources. Shop books on web development and graphic design, or check out blog posts by authors and thought-leaders in the design industry. 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: 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,209,752 in Books (See Top 100 in Books)

Important Information

Ingredients
Example Ingredients

Directions
Example Directions

Customer Reviews

5 star
75%
4 star
0%
3 star
25%
2 star
0%
1 star
0%
See all 4 customer reviews
Share your thoughts with other customers

Most Helpful Customer Reviews

24 of 24 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 12 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 34 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 91 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