Cărți de Henk Barendregt

Lambda Calculus with Types

Perspectives in Logic

Autor Henk Barendregt et al.

19 iun 2013

Preț: 610^.50 lei 685^.95 lei

6-8 săpt.

-11%

The Lambda Calculus. Its Syntax and Semantics

Studies in Logic

Autor Henk Barendregt

29 apr 2012

Preț: 205^.86 lei 257^.32 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ț: 335^.35 lei 419^.19 lei

6-8 săpt.

-20%