Cărți de Henk Barendregt

Lambda Calculus with Types

Perspectives in Logic

Autor Henk Barendregt et al.

19 iun 2013

Preț: 615^.03 lei 691^.04 lei

6-8 săpt.

-11%

The Lambda Calculus. Its Syntax and Semantics

Studies in Logic

Autor Henk Barendregt

29 apr 2012

Preț: 207^.41 lei 259^.26 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ț: 337^.85 lei 422^.31 lei

6-8 săpt.

-20%