- 作 者：张锦文主编
- 出 版 社：北京：北京大学出版社
- 出版年份：1992
- ISBN：7301018916
- 标注页数：165 页
- PDF页数：172 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源172 ≥165页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
递归结构理论 胡世华 1
胡世华先生的学术成就 杨东屏 53
关于MIPC等弱基模态系统的一个注记 高恒珊 57
证明语义 雷纪刚 61
The Application of the Model△(B) Li Na 65
On Relativized Arthur Merlin Game MA2 and Complexity Class co-NP Li Xiang 68
关于罗素悖论与弗协调逻辑 骆如枫 74
Relativized Completeness in Counting Classes and “Accepted Function” Lu Yizhong 78
The Solution of Generalized Ulam s Problem Lu Yizhong Guo Rong 82
序数的核与自然运算 莫绍揆 86
On the Linear Stable Functions Song Fangmin 93
Singlefopld Diophantine Representation of the Sequenceu0=0,u1=1,u?+2=mu?+1+u? Sun Zhiwei 97
On Structure of Asscciative Nevman Agebra Tang Huaiding 102
Dccidable Fragments of Field Theories (Ⅱ) Tung Shiping 104
模型论对代数的一些应用 王世强 109
“ZF+AC”同“◇”，“ω1-Kurepa树”及“□”的协调性 阎林 114
划分空间和初等嵌入 张宏裕 吝维军 116
公理集合论综述 张锦文 121
Infinite Objccts in Intuitionistic Type Theory Zhang Minghua 126
极小的弗协调G′，H′-时态逻辑 张清宇 137
Rclations Among Cardinal Invariants Zhang Shuguo 145
◇(2？·)+ in Chang s Model Zhao Xishun 148
同步电路的逻辑模型 周巢尘 152
部分论文中文摘要 162
Abstracts of papers submitted to the Colloquium 165