Advances in Natural Deduction A Celebration of Dag Prawitz's Work |
|
Editor:
| Pereira, Luiz Carlos Haeusler, Edward Hermann de Paiva, Valeria |
Series title: | Trends in Logic Ser. |
ISBN: | 978-94-007-7547-3 |
Publication Date: | Mar 2014 |
Publisher: | Springer Netherlands
|
Imprint: | Springer |
Book Format: | Hardback |
List Price: | USD $139.99 |
Book Description:
|
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.
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.