Cărți de F.D. Kamareddine

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%

Thirty Five Years of Automating Mathematics

Applied Logic Series, nr. 28

Editat de F.D. Kamareddine

30 noi 2003

Preț: 623^.70 lei 733^.77 lei

6-8 săpt.

-15%