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ț: 907.61 lei 1106.85 lei 6-8 săpt. -18%
