從新邏輯到新系統

文化大學機構典藏 CCUR > 文學院 > 哲學系暨研究所 > 期刊論文 > Item 987654321/30940

jsp.display-item.identifier=請使用永久網址來引用或連結此文件: https://irlib.pccu.edu.tw/handle/987654321/30940

题名:	從新邏輯到新系統 From the New Logic to the New System
作者:	傅皓政
贡献者:	哲學系
关键词:	可決定性自然演繹法樹枝法語意真值圖證明 Decidability Natural deduction Tableaux system Semantic tableaux Proof
日期:	2012-01
上传时间:	2015-11-13 14:54:46 (UTC+8)
關聯:	揭諦 22 2012.01[民101.01] 頁89-127
显示于类别:	[哲學系暨研究所] 期刊論文

文件中的档案:

档案	描述	大小	格式	浏览次数
index.html		0Kb	HTML	190	检视/开启

检视Licence

在CCUR中所有的数据项都受到原著作权保护.