Natural Deduction, Hybrid Systems and Modal Logics
Produktform: E-Buch Text Elektronisches Buch in proprietärem
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.
234,33 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Sequents and Trees
An Introduction to the Theory and Applications of Propositional Sequent Calculi
Produktform: E-Buch Text Elektronisches Buch in proprietärem
53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Sequents and Trees
An Introduction to the Theory and Applications of Propositional Sequent Calculi
Produktform: Buch / Einband - flex.(Paperback)
53,49 € inkl. MwSt.
kostenloser Versand
lieferbar - Lieferzeit 10-15 Werktage
Sequents and Trees
Introduction to the Theory and Applications of Propositional Sequent Calculi
Produktform: Buch / Einband - fest (Hardcover)
69,54 € 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
Natural Deduction, Hybrid Systems and Modal Logics
Produktform: Buch / Einband - flex.(Paperback)
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