The Semantics and Proof Theory of the Logic of Bunched Implications, Fachbücher

Hybrid Logic and its Proof-Theory, Fachbücher

Proof Theory and Algebra in Logic, Fachbücher von Hiroakira Ono

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms, Fachbücher

Proof Theory And Algebra In Logic 5583

Arnon Avron On Semantics And Proof Theory Of Non-classical Logics 6312

Proof Theory And Algebra In Logic | Hiroakira Ono | Taschenbuch |

Georg Gottlob (u. A.) | Computational Logic And Proof Theory |

On the theory of logic:, Fachbücher von Anonym

Logic in the Theory and Practice of Lawmaking, Fachbücher von Michal Araszkiewicz, Krzysztof Pleszka

Heinrich Wansing | Proof Theory Of Modal Logic | Buch | Englisch

Anna Zamansky (u. A.) | Arnon Avron On Semantics And Proof Theory

Formal Semantics and Proof Techniques for Optimizing VHDL Models, Fachbücher

Logic and General Theory of Science, Fachbücher von Edmund Husserl

Handbook of Logic and Proof Techniques for Computer Science, Fachbücher von Steven G. Krantz

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems, Fachbücher von Dominique Mé...