The Lambda Calculus. Its Syntax and Semantics (Studies in Logic)
Thumbnail 1Thumbnail 2Thumbnail 3

The Lambda Calculus. Its Syntax and Semantics (Studies in Logic)

4.3/5
Product ID: 8428955
Secure Transaction
Frequently Bought Together

Description

The Lambda Calculus. Its Syntax and Semantics (Studies in Logic)

Reviews

4.3

All from verified purchases

V**V

Must read if you are a professional

It's actually a hard reading, but if you want to understand what's going on under the lid, you have to read it.Maybe first you have to learn some topos theory. Anyway, it's something that a serious professional must know.

N**Z

Very good reference book.

This book came highly recommended, and definitely lived up to that billing.This book is a text book in many university classes on the topic at the graduate level.This book assumes you have the ability to work with formal systems in logic(I.E. if you were comfortable with symbolic logic you should have no trouble)That out of the way, it is well written and covers a complex area of logic with breath and clarity.

C**T

Terse

The book is intended for those who wish to truly understand the theoretical underpinnings of lambda calculus. I think that the book is not for you if you merely want to develop the intuition for it.

J**I

It's an excellent reprint of the classic work in Lambda Calculus

It's an excellent reprint of the classic work in Lambda Calculus. Anyone interested in the subject will find this a comprehensive and readable text.

B**H

Strong content; Weak Translation

The bible of lambda calculus, without a doubt. You won't find a treatment more profound or comprehensive. But the publisher must invest in a proofreader. The errata is interminable. And the English is a couple of cuts below standard. It's apparent that the translator's grasp of the English language is tenuous. The overall effect is deleterious.

B**N

For hardcore theoretical mathematicians only, not relevant to programmers, no practical value

I recently became passionate about functional programming, Haskell, and the Lambda Calculus. I bought this book hoping I would develop a better understanding and gain some insights that would make me a better programmer and allow me to apply new concepts in my own language design. I knew this had more of a math focus but I did not expect this. Unfortunately it seems this book is targeted ENTIRELY towards mathematicians—and ONLY mathematicians. English paragraphs are extremely scarce. I can usually read a CS or SIGGRAPH paper without too much difficulty but this book is extremely cryptic; I am not able to understand anything from it.

R**E

Rilegatura pessima

Appena acquistato (il libro riporta come data di stampa dicembre 2022) e solo sfogliando l'indice sono volati via due fogli. Nel giro di qualche minuto se ne sono staccati altri due nel mezzo e un altro verso la fine. Farò fatica a leggerlo senza perdere dei pezzi.

J**T

Excellent. La bible du lambda calcul.

Edition magnifique. Prix très raisonable. Et en plus, on achète LE livre qu' il faut lire , ou plutôt, consulter sur lelambda calcul.

Common Questions

Trustpilot

TrustScore 4.5 | 7,300+ reviews

Suresh K.

Very impressed with the quality and fast delivery. Will shop here again.

4 days ago

Farhan Q.

The delivery time was excellent, and the packaging was secure.

2 months ago

Shop Global, Save with Desertcart
Value for Money
Competitive prices on a vast range of products
Shop Globally
Serving millions of shoppers across more than 100 countries
Enhanced Protection
Trusted payment options loved by worldwide shoppers
Customer Assurance
Trusted payment options loved by worldwide shoppers.
Desertcart App
Shop on the go, anytime, anywhere.
₩114946

Duties & taxes incl.

South Koreastore
1
Free Shipping

with PRO Membership

Free Returns

30 daysfor PRO membership users

15 dayswithout membership

Secure Transaction

Trustpilot

TrustScore 4.5 | 7,300+ reviews

Ayesha M.

The product exactly matches the description. Very satisfied with my purchase.

5 days ago

Imran F.

Very reliable shop with genuine products. Will definitely buy again!

2 weeks ago

The Lambda Calculus Its Syntax And Semantics Studies In Logic | Desertcart South Korea