Ihre Suche ergab 111 Treffer.
Cut Elimination in Categories
Produktform: Buch / Einband - fest (Hardcover)
160,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Reasoning in Quantum Theory
Sharp and Unsharp Quantum Logics
Produktform: Buch / Einband - flex.(Paperback)
160,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Natural Deduction, Hybrid Systems and Modal Logics
Produktform: Buch / Einband - fest (Hardcover)
Here is an extensive treatment of Natural Deduction and related proof systems, focused on practical aspects of proof methods. Necessary background material is provided, including a presentation of Modal Logics, First-Order Modal and Hybrid Modal Logics.
246,09 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Towards Mathematical Philosophy
Papers from the Studia Logica conference Trends in Logic IV
Produktform: Buch / Einband - flex.(Paperback)
160,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Displaying Modal Logic
Produktform: Buch / Einband - fest (Hardcover)
149,79 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Topological and Algebraic Structures in Fuzzy Sets
A Handbook of Recent Developments in the Mathematics of Fuzzy Sets
Produktform: Buch / Einband - flex.(Paperback)
160,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
A Geometry of Approximation
Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns
Produktform: Buch / Einband - flex.(Paperback)
320,99 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Dual Tableaux: Foundations, Methodology, Case Studies
Produktform: Buch / Einband - flex.(Paperback)
Providing a reference for researchers and students, this volume presents the fundamental concepts of dual tableaux, and a wide scope of applications. These include logic methods used in mathematics and philosophy, as well as applied theories of computational logic.
160,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Advances in Natural Deduction
A Celebration of Dag Prawitz's Work
Produktform: Buch / Einband - fest (Hardcover)
139,09 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
The Is-Ought Problem
An Investigation in Philosophical Logic
Produktform: Buch / Einband - fest (Hardcover)
213,99 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage