or
Sign in to turn on 1-Click ordering.
 
 
Express Checkout with PayPhrase
What's this? | Create PayPhrase
More Buying Choices
28 used & new from $83.88
Have one to sell? Sell yours here
 
   
The Lambda Calculus, Volume 103, Second Edition: Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics)
 
See larger image 
Share your own customer images
Publisher: learn how customers can search inside this book.

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

~ (Author)
4.5 out of 5 stars  See all reviews (4 customer reviews)
List Price: $131.00
Price: $117.90 & this item ships for FREE with Super Saver Shipping. Details
You Save: $13.10 (10%)
o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o
In Stock.
Ships from and sold by Amazon.com. Gift-wrap available.

Only 2 left in stock--order soon (more on the way).

Want it delivered Tuesday, November 17? Choose One-Day Shipping at checkout. Details
16 new from $111.60 12 used from $83.88

Formats

Amazon Price New from Used from
  Hardcover, February 25, 1981 $192.11 $192.11 $289.45
  Paperback, November 14, 1985 $117.90 $111.60 $83.88

Frequently Bought Together

Customers buy this book with An Introduction to Lambda Calculi for Computer Scientists by C Hankin

The Lambda Calculus, Volume 103, Second Edition: Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics) + An Introduction to Lambda Calculi for Computer Scientists
Price For Both: $134.55

Show availability and shipping details

  • This item: The Lambda Calculus, Volume 103, Second Edition: Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics) by H. P. Barendregt

    In Stock.
    Ships from and sold by Amazon.com.
    This item ships for FREE with Super Saver Shipping. Details

  • An Introduction to Lambda Calculi for Computer Scientists by C Hankin

    In Stock.
    Ships from and sold by Amazon.com.
    Eligible for FREE Super Saver Shipping on orders over $25. Details

Customers Who Bought This Item Also Bought

Types and Programming Languages

Types and Programming Languages

by Benjamin C. Pierce
4.8 out of 5 stars (6)  $40.62
Lambda-Calculus and Combinators: An Introduction

Lambda-Calculus and Combinators: An Introduction

by J. Roger Hindley
$50.40
Purely Functional Data Structures

Purely Functional Data Structures

by Chris Okasaki
4.3 out of 5 stars (6)  $42.50
Advanced Topics in Types and Programming Languages

Advanced Topics in Types and Programming Languages

by Benjamin C. Pierce
$45.90
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)

The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)

by Alonzo Church
$34.65
› Explore similar items

Editorial Reviews

Review

There must have been an exceptional amount of effort to ensure the high quality of text and printing... -- Journal of Symbolic Logic

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


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
See all Editorial Reviews

Product Details

  • Paperback: 654 pages
  • Publisher: North Holland (November 15, 1985)
  • Language: English
  • ISBN-10: 0444875085
  • ISBN-13: 978-0444875082
  • Product Dimensions: 8.7 x 5.9 x 1 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.com Sales Rank: #633,673 in Books (See Bestsellers in Books)

    •  Would you like to update product info or give feedback on images?

More About the Authors

Discover books, learn about writers, read author blogs, and more.
H. P. Barendregt
H. P. Barendregt
Hendrik Pieter Barendregt
Hendrik Pieter Barendregt

What Do Customers Ultimately Buy After Viewing This Item?

The Lambda Calculus, Volume 103, Second Edition: Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics)
62% buy the item featured on this page:
The Lambda Calculus, Volume 103, Second Edition: Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics) 4.5 out of 5 stars (4)
$117.90
Lambda-Calculus and Combinators: An Introduction
16% buy
Lambda-Calculus and Combinators: An Introduction
$50.40
An Introduction to Lambda Calculi for Computer Scientists
8% buy
An Introduction to Lambda Calculi for Computer Scientists 2.0 out of 5 stars (4)
$16.65
The Haskell Road to Logic, Maths and Programming (Texts in Computing)
7% buy
The Haskell Road to Logic, Maths and Programming (Texts in Computing) 5.0 out of 5 stars (5)
$22.50
Explore similar items

Tags Customers Associate with This Product

 (What's this?)
Click on a tag to find related items, discussions, and people.
 
(8)
(3)
(2)
Agree with these tags?

Your tags: Add your first tag
 
See most popular tags

Sell a Digital Version of This Book in the Kindle Store

If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store. Learn more
 

Customer Reviews

4 Reviews
5 star:
 (3)
4 star:    (0)
3 star:
 (1)
2 star:    (0)
1 star:    (0)
 
 
 
 
 
Average Customer Review
4.5 out of 5 stars (4 customer reviews)
 
 
 
 
Share your thoughts with other customers:
Most Helpful Customer Reviews

 
21 of 21 people found the following review helpful:
5.0 out of 5 stars Self-contained Encyclopedia! All you need is your patience!, January 16, 2002
By Hidetaka Kondoh (Kawasaki, Kanagawa Japan) - See all my reviews
(REAL NAME)   
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.

Comment Comment | Permalink | Was this review helpful to you? Yes No (Report this)



 
13 of 20 people found the following review helpful:
5.0 out of 5 stars It's online, December 29, 2001
By A Customer
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 Comment | Permalink | Was this review helpful to you? Yes No (Report this)



 
4 of 8 people found the following review helpful:
5.0 out of 5 stars great book, but not available here, July 2, 2004
By A Customer
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 Comment | Permalink | Was this review helpful to you? Yes No (Report this)


Share your thoughts with other customers: Create your own review
 
 
 
Most Recent Customer Reviews

3.0 out of 5 stars Not a classic, but all in all very informative
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. Read more
Published on July 23, 2000

Only search this product's reviews


Customer Discussions

This product's forum
Discussion Replies Latest Post
No discussions yet

Ask questions, Share opinions, Gain insight
Start a new discussion
Topic:
First post:
Prompts for sign-in
 


Active discussions in related forums
Search Customer Discussions
Search all Amazon discussions
   

So You'd Like to...

Create a guide

Product Information from the Amapedia Community

Beta (What's this?)

Look for Similar Items by Category

Look for Similar Items by Subject

Search Books by subject:












i.e., each book must be in subject 1 AND subject 2 AND ...
 

Feedback

If you need help or have a question for Customer Service, contact us.
 Would you like to update product info or give feedback on images?
Is there any other feedback you would like to provide?

Your comments can help make our site better for everyone.


Your Recent History

 (What's this?)

After viewing product detail pages or search results, look here to find an easy way to navigate back to pages you are interested in.