Gabbay's Separation Theorem, Fachbücher

Logic for Computer Scientists, Fachbücher von Uwe Schöning

Riemann Roch Theorem for S0mooth Manifolds, Fachbücher von Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow

Stanley's Reciprocity Theorem, Fachbücher von Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow

Logical Tools for Handling Change in Agent-Based Systems, Fachbücher von Dov M. Gabbay, Karl Schlechta

Ostrowski Hadamard Gap Theorem, Fachbücher von Elwood Kuni Waldorm

Advances in Temporal Logic, Fachbücher von Michael Fisher, Dov M. Gabbay, Graham Gough, Howard Barringer

Bertrand Diquet Puiseux Theorem, Fachbücher von Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow

Concurrent MetateM, Fachbücher von Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow

Proofs and Algorithms, Fachbücher von Gilles Dowek

Abductive Reasoning, Fachbücher von Atocha Aliseda

Dual Tableaux: Foundations, Methodology, Case Studies, Fachbücher von Ewa Orlowska, Joanna Golinska Pilarek

Hasse Minkowski theorem, Fachbücher von Agnes F. Vandome, Frederic P. Miller, John McBrewster

Logic: a Brief Course, Fachbücher von Daniele Mundici

Stone's Representation Theorem for Boolean Algebras, Fachbücher von Lambert M. Surhone, Miriam T. Timpledon, Susan F. Ma...

Curry's Paradox, Fachbücher von Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken