Filtre:

Cărți de Henk Barendregt

Lambda Calculus with Types

Autor Henk Barendregt et al.

11 iun 2014

Preț: 628^.07 lei 705^.69 lei

6-8 săpt.

-11%

The Lambda Calculus. Its Syntax and Semantics

Autor Henk Barendregt

30 apr 2012

Preț: 202^.75 lei 253^.44 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%