NON-ARITHMETICAL BEHAVIOR OF TRUTH PREDICATE LOGICS OF PROVABILITY

被引：0
|
作者：
ARTEMOV, SN
机构：
来源：
DOKLADY AKADEMII NAUK SSSR | 1985年 / 284卷 / 02期
关键词：
D O I：
暂无
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
引用
收藏
页码：270 / 271
页数：2
相关论文
共 36 条
1234