亚里士多德必然演绎逻辑的完整形式化

摘要:亚里士多德分析学中的情态逻辑的完整一致的形式解释

作者:Holger Brenner

论文ID:math/0209372

分类:Logic

分类简称:math.LO

提交时间:2007-05-23

PDF 下载: 英文版 中文版pdf翻译中