Cărți de David J. Pym

The Semantics and Proof Theory of the Logic of Bunched Implications

Applied Logic Series, nr. 26

Autor David J. Pym

31 iul 2002

Preț: 916^.19 lei 1117^.31 lei

6-8 săpt.

-18%

Reductive Logic and Proof-search: Proof Theory, Semantics, and Control

Oxford Logic Guides, nr. 45

Autor David J. Pym et al.

29 apr 2004

Preț: 1021^.93 lei 1561^.18 lei

42-47 zile

-35%