Cărți de Henk Barendregt

Lambda Calculus with Types

Perspectives in Logic

Autor Henk Barendregt et al.

19 iun 2013

Preț: 623^.56 lei 700^.63 lei

6-8 săpt.

-11%

The Lambda Calculus. Its Syntax and Semantics

Autor Henk Barendregt

30 apr 2012

Preț: 201^.47 lei 251^.83 lei

6-8 săpt.

-20%

Types for Proofs and Programs

Editat de Henk Barendregt et al.

20 mai 1994

Preț: 327^.48 lei 409^.36 lei

6-8 săpt.

-20%