The Lambda Calculus. Its Syntax and Semantics

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.

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.

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.

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.

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.