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ț: 953^.20 lei 1162^.43 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ț: 948^.41 lei 1442^.19 lei

31-37 zile

-34%