The Semantics and Proof Theory of the Logic of Bunched Implications Applied Logic Series, nr. 26 Autor David J. Pym 4 dec 2010 Paperback Preț: 909.98 lei 1109.73 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 Hardback Preț: 1020.40 lei 1559.67 lei 41-52 zile -35%