达格·普拉维茨 自然扣除。一项实证理论研究。 (英文) Zbl 0173.00205号 斯德哥尔摩大学学报。斯德哥尔摩哲学研究3.斯德哥尔摩:Almqvist&Wiksell。113页。(1965). 审核人:G.E.造币厂(列宁格勒) 页码:24/35−1 ±0 +1个 +2 +3 +4个 +5 显示扫描页面 引用于15评论引用于489文件 MSC公司: 03-02 与数学逻辑和基础相关的研究展览(专著、调查文章) 关键词:一般逻辑 引文:Zbl 0010.14501号;兹比尔0010.14601;Zbl 0162.01301号 PDF格式BibTeX公司 XML格式引用 \textit{D.Prawitz},自然演绎。实证理论研究。斯德哥尔摩:Almqvist&Wiksell(1965;Zbl 0173.00205)