by Luiz Carlos Pereira (Editor), Valeria De Paiva (Editor), Edward Haeusler (Editor)
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.
Format: Hardcover
Pages: 296
Edition: 2014
Publisher: Springer
Published: 17 Mar 2014
ISBN 10: 9400775474
ISBN 13: 9789400775473