Dag Prawitz on Proofs and Meaning


Write The First Customer Review

This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meaning theories have been extremely influential in the development of modern proof theory and anti-realistic semantics. In particular, Prawitz is the main author on natural deduction in addition to Gerhard Gentzen, who defined natural deduction in his PhD thesis published in 1934. The ...

Dag Prawitz on Proofs and Meaning 2016, Springer

ISBN-13: 9783319360317

Softcover Reprint of the Origi edition

Trade paperback

Dag Prawitz on Proofs and Meaning 2014, Springer International Publishing AG, Cham

ISBN-13: 9783319110400

2015 edition