THE RECURSIVELY SATURATED PART OF MODELS OF PEANO ARITHMETIC

被引：0
|
作者：
KOTLARSKI, H
机构：
来源：
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1986年 / 32卷 / 04期
关键词：
D O I：
10.1002/malq.19860321910
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：365 / 370
页数：6
相关论文
共 50 条
12345