矢列式演算相关硕士博士期刊学术论文

《逻辑演绎研究》是甘岑提交哥廷根大学的就职论文,文中甘岑提出了两种逻辑演算系统,即“自然演绎”和“矢列式演算”系统。从自然......