Cărți de Pawel Urzyczyn

Lectures on the Curry-Howard Isomorphism

Studies in Logic and the Foundations of Mathematics, nr. 149

Autor Morten Heine Sørensen et al.

4 iul 2006

Preț: 755^.06 lei 1035^.19 lei

5-7 săpt.

-27%

Mathematical Foundations of Computer Science 2006

Editat de Rastislav Královic et al.

11 aug 2006

Preț: 651^.33 lei 814^.15 lei

6-8 săpt.

-20%

Typed Lambda Calculi and Applications

Editat de Pawel Urzyczyn

7 apr 2005

Preț: 329^.94 lei 412^.42 lei

6-8 săpt.

-20%