达格·普拉维茨 (Dag Prawitz) 论证明和意义 作者：Heinrich Wansing（编辑） 电子书下载

原名:Dag Prawitz on Proofs and Meaning by Heinrich Wansing (eds.)
作品简介:本书谨献给 Dag Prawitz 教授及其对哲学和数理逻辑的杰出贡献。普拉维茨对结构证明理论（他称之为一般证明理论）和基于推理的意义理论的杰出贡献在结构证明理论和基于推理的意义理论方面具有极大的影响力。……