Natural Deduction, Hybrid Systems and Modal Logics (Trends in Logic)

New
Hardcover
2010
$287.80

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.

Synopsis

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.

$287.80

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 514
Edition: 1st Edition.
Publisher: Springer
Published: 11 Jun 2010
ISBN 10: 9048187842
ISBN 13: 9789048187843

Natural Deduction, Hybrid Systems and Modal Logics (Trends in Logic)

New

$287.80

Synopsis

$287.80

More Information