Advances in Natural Deduction: A Celebration of Dag Prawitz's Work: 39 (Trends in Logic)

Advances in Natural Deduction: A Celebration of Dag Prawitz's Work: 39 (Trends in Logic)

by Luiz Carlos Pereira (Editor), Valeria De Paiva (Editor), Edward Haeusler (Editor)

Synopsis

This collection of original papers by celebrated figures in the field of natural deduction honors the ground-breaking work of Swedish logician Dag Prawits. It provides a wide-ranging survey of the latest research in proof theory and its many applications.

$157.39

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 296
Edition: 2014
Publisher: Springer
Published: 17 Mar 2014

ISBN 10: 9400775474
ISBN 13: 9789400775473