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: Paperback
Pages: 296
Edition: Softcover reprint of the original 1st ed. 2014
Publisher: Springer
Published: 03 Sep 2016
ISBN 10: 9402406875
ISBN 13: 9789402406870