FIXED-POINT EXTENSIONS OF 1ST-ORDER LOGIC

被引：108
|
作者：
GUREVICH, Y
SHELAH, S
机构：
[1] UNIV MICHIGAN,DEPT MATH,ANN ARBOR,MI 48109
[2] HEBREW UNIV JERUSALEM,INST MATH & COMP SCI,IL-91904 JERUSALEM,ISRAEL
来源：
ANNALS OF PURE AND APPLIED LOGIC | 1986年 / 32卷 / 03期
关键词：
D O I：
10.1016/0168-0072(86)90055-2
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
引用
收藏
页码：265 / 280
页数：16
相关论文
共 50 条
12345