Cărți de Rob Nederpelt

Type Theory and Formal Proof

Autor Rob Nederpelt et al.

14 mar 2016

Preț: 535^.13 lei 668^.91 lei

6-8 săpt.

-20%

A Modern Perspective on Type Theory: From its Origins until Today

Applied Logic Series, nr. 29

Autor F.D. Kamareddine et al.

9 iun 2004

Preț: 1074^.51 lei 1310^.39 lei

6-8 săpt.

-18%

A Modern Perspective on Type Theory

Applied Logic Series, nr. 29

Autor F. D. Kamareddine et al.

22 oct 2010

Preț: 752^.69 lei 917^.91 lei

6-8 săpt.

-18%