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.

3 iul 2006

Preț: 734^.18 lei 957^.22 lei

5-7 săpt.

-23%

Mathematical Foundations of Computer Science 2006: 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4162

Editat de Rastislav Královic et al.

11 aug 2006

Preț: 671^.53 lei 839^.41 lei

6-8 săpt.

-20%

Typed Lambda Calculi and Applications: 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings

Lecture Notes in Computer Science, nr. 3461

Editat de Pawel Urzyczyn

7 apr 2005

Preț: 339^.99 lei 424^.99 lei

6-8 săpt.

-20%