THE UNDECIDABILITY OF 2ND-ORDER PROVABILITY LOGIC WITH WITNESS COMPARISON

被引：0
作者：
NAUMOV, PG
机构：
来源：
VESTNIK MOSKOVSKOGO UNIVERSITETA SERIYA 1 MATEMATIKA MEKHANIKA | 1993年 / 03期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：14 / 17
页数：4
相关论文
共 2 条
  • [1] Guaspari David, 1979, ANN MATH LOGIC, V16, P81
  • [2] Taitslin M. A, 1962, ALGEBRA LOGIKA+, V1, P24
1