Filtre: Calculatoare şi IT

Studies in Logic

The Lambda Calculus. Its Syntax and Semantics

Studies in Logic

Autor Henk Barendregt

29 apr 2012

Preț: 201^.41 lei 251^.77 lei

6-8 săpt.

-20%

Second Order Quantifier Elimination

Studies in Logic

Autor D. M. Gabbay et al.

16 apr 2008

Preț: 200^.14 lei 250^.17 lei

6-8 săpt.

-20%

Handbook of Paraconsistency

Studies in Logic, nr. 9

Editat de J. Y. Beziau et al.

31 oct 2007

Preț: 246^.19 lei 307^.74 lei

6-8 săpt.

-20%