图书介绍
数理和应用逻辑文集PDF|Epub|txt|kindle电子书版本下载
- 张锦文主编 著
- 出版社： 北京：北京大学出版社
- ISBN：7301018916
- 出版时间：1992
- 标注页数：165页
- 文件大小：6MB
- 文件页数：172页
- 主题词：
PDF下载
下载说明
数理和应用逻辑文集PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
递归结构理论 胡世华1
胡世华先生的学术成就 杨东屏53
关于MIPC等弱基模态系统的一个注记 高恒珊57
证明语义 雷纪刚61
The Application of the Model△(B) Li Na65
On Relativized Arthur Merlin Game MA2 and Complexity Class co-NP Li Xiang68
关于罗素悖论与弗协调逻辑 骆如枫74
Relativized Completeness in Counting Classes and “Accepted Function” Lu Yizhong78
The Solution of Generalized Ulam s Problem Lu Yizhong Guo Rong82
序数的核与自然运算 莫绍揆86
On the Linear Stable Functions Song Fangmin93
Singlefopld Diophantine Representation of the Sequenceu0=0,u1=1,u?+2=mu?+1+u? Sun Zhiwei97
On Structure of Asscciative Nevman Agebra Tang Huaiding102
Dccidable Fragments of Field Theories (Ⅱ) Tung Shiping104
模型论对代数的一些应用 王世强109
“ZF+AC”同“◇”，“ω1-Kurepa树”及“□”的协调性 阎林114
划分空间和初等嵌入 张宏裕 吝维军116
公理集合论综述 张锦文121
Infinite Objccts in Intuitionistic Type Theory Zhang Minghua126
极小的弗协调G′，H′-时态逻辑 张清宇137
Rclations Among Cardinal Invariants Zhang Shuguo145
◇(2？·)+ in Chang s Model Zhao Xishun148
同步电路的逻辑模型 周巢尘152
部分论文中文摘要162
Abstracts of papers submitted to the Colloquium165