Advances in Proof-Theoretic Semantics, Fachbücher von Peter Schroeder-Heister, Thomas Piecha

Peter Schroeder-heister (u. A.) | Advances In Proof-theoretic

Advances In Proof-theoretic Semantics 3015

The Logical Writings of Karl Popper, Fachbücher von David Binder, Peter Schroeder-Heister, Thomas Piecha

Nissim Francez | Proof-theoretic Semantics | Taschenbuch | Englisch

Nissim Francez Proof-theoretic Semantics (taschenbuch)

Advances in Proof Theory, Fachbücher von Reinhard Kahle, Thomas Studer, Thomas Strahm

A Model-Theoretic Approach to Proof Theory, Fachbücher von Henryk Kotlarski

Algebraic and Proof-theoretic Aspects of Non-classical Logics, Fachbücher

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

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

Advances in Web Semantics I, Fachbücher von Elizabeth Chang, Katia Sycara

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

Hinausgeboren, Belletristik von Peter Schroeder

Graph-Theoretic Concepts in Computer Science, Fachbücher von Thomas Erlebach, Tom Friedetzky, Daniel Paulusma, Hajo Broe...

Advances in PET, Fachbücher von Jun Zhang, Michael V. Knopp