DEFINABILITY IN L-OMEGA-1 OMEGA-1 AND RECURSION IN E-3

被引：0
|
作者：
WAINER, SS
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1974年 / 39卷 / 02期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：424 / 425
页数：2
相关论文
共 50 条
12345