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 43-57 zile -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ț: 1021.93 lei 1561.18 lei 40-51 zile -35%