The Semantics and Proof Theory of the Logic of Bunched Implications by David J.
167,25 €
I Propositional BI. Introduction to Part I.- 2. Natural Deduction for Propositional BI. Algebraic, Topological, Categorical. Kripke Semantics. Topological Kripke Semantics. Propositional BI as a Sequent Calculus.
Jetzt bei Ebay:
