ON A PROPOSITIONAL CALCULUS WHOSE DECISION PROBLEM IS RECURSIVELY UNSOLVABLE

被引：0
|
作者：
NAKAMURA, A
机构：
来源：
NAGOYA MATHEMATICAL JOURNAL | 1970年 / 38卷
关键词：
D O I：
10.1017/S0027763000013593
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：145 / &
相关论文
共 50 条
12345