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 43-57 zile -18%