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.

$127.98

Save:$11.72 (8%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 296
Edition: Softcover reprint of the original 1st ed. 2014
Publisher: Springer
Published: 03 Sep 2016

ISBN 10: 9402406875
ISBN 13: 9789402406870