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

Studies in Logic

Autor Henk Barendregt

29 apr 2012

Preț: 199^.26 lei 249^.07 lei

6-8 săpt.

-20%

Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers

Lecture Notes in Computer Science, nr. 806

Editat de Henk Barendregt et al.

20 mai 1994

Preț: 324^.99 lei 406^.23 lei

6-8 săpt.

-20%