《經濟特區研究文獻索引·第3輯：1991~2000概述 》是2015年中國時代經濟出版社出版的圖書，作者是陶一桃、鐘若愚、王保衛。
基本介紹
- 書名：經濟特區研究文獻索引·第3輯：1991~2000
- 作者： 陶一桃 鐘若愚 王保衛
- ISBN： 978-7-5136-3975-0
- 頁數： 420頁
- 出版時間： 2015年10月
- 裝幀：平裝
- 開本：16
- 責編：丁楠
- 版次：1次
- 編號： 3975
內容簡介,目錄,
內容簡介
"文獻索引的編輯、整理工作是開展經濟特區及中國道路研究的重要基礎性工作，深圳大學中國經濟特區研究中心組織研究人員對海內外經濟特區研究文獻進行收集、整理與編撰，將陸續出版“經濟特區研究文獻索引”系列出版物，覆蓋1979年至今經濟特區研究文獻索引。
目錄
第一章一階邏輯預備知識1
1.1一階邏輯的語言1
1.2一階邏輯的推演（語法）7
1.3一階邏輯的模型（語義）13
1.4常見的理論與模型17
1.5模型間的相互關係25
1.6一階邏輯的完全理論32
1.7穩定性與單純性理論40
第二章經典結構模型論研究46
2.1量詞消去的概念與方法46
2.2無端點稠密線性序52
2.3無扭可除交換群57
2.4可除有序交換群62
2.5Presburger算術66
2.6代數閉域72
2.7實閉域76
ii樹和偏序理論的模型論研究
第三章幾個定理的新證明84
3.1完全k叉樹的量詞消去85
3.2完全無窮叉樹的量詞消去92
3.3完全稠密二叉偏序的量詞消去97
第四章帶根節點的樹理論117
4.1語言與基本公理117
4.2量詞消去的準備工作118
4.3DTR在L0中的量詞消去120
4.4DTR在L1中的量詞消去126
4.5UTR理論的量詞消去141
4.6DTR與UTR的模型論性質145
第五章有最小元的樹形偏序148
5.1語言與基本公理148
5.2有最小元的樹形偏序結構149
5.3量詞消去的準備工作154
5.4OLE理論的量詞消去162
5.5OLE理論的模型論性質171
第六章尚待解決的若干問題175
參考文獻177"序：經濟特區與中國道路
前言
文獻分類及體例說明
1991年
一、著作
二、期刊論文
三、學位論文
四、報刊文章
五、析出文獻
1992年
一、著作
二、期刊論文
三、學位論文
四、報刊文章
五、析出文獻
1993年
一、著作
二、期刊論文
三、學位論文
四、報刊文章
五、析出文獻
目錄1994年
一、著作
二、期刊論文
三、學位論文
四、報刊文章
五、析出文獻
1995年
一、著作
二、期刊論文
三、學位論文
四、報刊文章
五、析出文獻
1996年
一、著作
二、期刊論文
三、學位論文
四、報刊文章
五、析出文獻
1997年
一、著作
二、期刊論文
三、學位論文
四、報刊文章
五、析出文獻
1998年
一、著作
二、期刊論文
三、學位論文
四、報刊文章
五、析出文獻
1999年
一、著作
二、期刊論文
三、學位論文
四、報刊文章
五、析出文獻
2000年
一、著作
二、期刊論文
三、學位論文
四、報刊文章
五、析出文獻
後記"
