Wyprzedane, ale poszukiwane!
The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition
Autorzy
Ocena książki
Więcej o książce
The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical improvements have been made to this edition. An example of a simple model is given and then the general theory (of categorical models) is developed. Indications are given of those parts of the book which can be used to form a coherent course.
Zakup książki
The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition, Hendrik Pieter Barendregt
- Język
- Rok wydania
- 1984
- Oprawa
- (miękka)
Jak tylko się pojawi, wyślemy Ci wiadomość e-mail.
Metody płatności
Brakuje nam tutaj Twojej recenzji.
- Tytuł
- The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition
- Język
- angielski
- Autorzy
- Hendrik Pieter Barendregt
- Wydawca
- North-Holland
- Rok wydania
- 1984
- Oprawa
- miękka
- Liczba stron
- 621
- ISBN10
- 0444875085
- ISBN13
- 9780444875082
- Seria
- Kategorie
- Ocena
- 4,3 z 5
- Opis
- The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical improvements have been made to this edition. An example of a simple model is given and then the general theory (of categorical models) is developed. Indications are given of those parts of the book which can be used to form a coherent course.