The Semantics and Proof Theory of the Logic of Bunched Implications Applied Logic Series, nr. 26 Autor David J. Pym 31 iul 2002 Hardback Preț: 916.19 lei 1117.31 lei 6-8 săpt. -18%