Reihe Applied Logic SeriesDavid J. Pym × The Semantics and Proof Theory of the Logic of Bunched Implications David J. PymSpringer NetherlandeBook2013149,79 € The Semantics and Proof Theory of the Logic of Bunched Implications David J. PymSpringer NetherlandSoftcover2010160,49 € The Semantics and Proof Theory of the Logic of Bunched Implications David J. PymSpringer NetherlandHardcover2002160,49 €
