Journal of Logic and Computation. 2014;():exu046-. doi: 10.1093/logcom/exu046 Q40.72025

Refinements of subatomic natural deduction

亚原子自然演绎的精炼

Wi ckowski, B.

DOI: 10.1093/logcom/exu046

摘要查看摘要

Copyright © Journal of Logic and Computation. 中文内容为AI机器翻译，仅供参考！

期刊名：Journal of logic and computation

缩写：J LOGIC COMPUT

ISSN：0955-792X

e-ISSN：1465-363X

IF/分区：0.7/Q4

文章目录更多期刊信息

全文链接

官方链接

PMC全文

引文链接

复制

已复制！

格式：

推荐内容

Refinements of subatomic natural deduction