Subatomic Natural Deduction for a Naturalistic First-Order Language with Non-Primitive Identity

• 期刊名称Journal of Logic, Language and Information
• 作者Więckowski, Bartosz
• 卷第25卷
• 期第2期
• 印刷ISSN0925-8531
• 电子ISSN1572-9583
• 文件大小1721.94KB
• 发表时间2016-6-21
• DOI10.1007/s10849-016-9238-7
• 页码215-268