主要介绍《数理逻辑基础》上下册及其各领域专业：

《数理逻辑基础》上下册是胡世华院士撰写由科学出版社1981年出版的国内最权威的数理逻辑著作，也是国内数理逻辑学科最好的教材。我读完胡院士的这书后，就感到对于学习数理逻辑各方向都能轻易就达到前沿，如王世强的《模型论》、《递归论》、证明论、构造性数学、公理集合论、非单调逻辑、范畴逻辑、逻辑代数、模态逻辑、时态逻辑、l演算和组合逻辑等。

数理逻辑是人工智能的 内容，如1993年邀请我去清华大学的石纯一教授翻译1983年由科学出版社出版的Nils Nilsson的《人工智能原理》是第一本人工智能中文书籍，其关键内容就是数理逻辑，Nils Nilsson其后改写的《人工智能》一书的第三部分“知识的表示和推理”和第四部分“基于逻辑的规划方法”更是几乎全是数理逻辑及其他的深入的递归论，这书最后的第五部分很多内容是基于数理逻辑如共约20小节的第23.3.1至23.3.4这4节就属于“知识模式逻辑”，并说虽人工智能发展很快但前书的许多内容仍有价值，因此这新版直接采用了这些内容。

关于胡世华院士，他被誉为中国“图灵”、是中国数理逻辑第一、是国家总理的儿子、是中国第一批计算机院士(Shih-hua Hu)院士，他获得德国博士后的1941年回国并1941年-1943年任广东中山大学数学天文系副教授«而我研究生毕业来到海南深山区五指山的琼州大学后仍多次来信鼓励指导海南的导师钟集教授是中国最国际化的国家自然科学一等奖的国际评审委员会主席并在1940年已进入中山大学打下一年基础的1941年胡世华院士就来教他并1944年毕业于中山大学数学天文系。

胡世华院士其后胡去重庆和北京都只在哲学系任教，并胡在中山大学数学天文系任教时正值日寇大肆践踏我华夏大地之时使每年仅有几个学生且只有钟老师成为科学家如此胡院士撰写由科学出版社1981年出版的名著《数理逻辑基础》上下册等我更是必定攻读--刚见这个汇编的第一个是胡世华、第4个是上面黄友谋以他的获诺奖的同学为例说我国如何在科学赶上和超过世界先进水平的言论-第5个是叶企孙还有竺可桢等等如此值得看看）。

特别是创建中国第一个组合数学研究室和当选中国组合数学研究会第一届主席、以及这里仅第9-2就见钟老师和中山大学正校长、1980年已当选中国建筑学会理事长的资深院士是广东省高校仅有的3个获得中国第一届的1985年“全国五一劳动奖章”的人，这正如和钟老师同时20世纪20年代出生并解放前已获得世界排名第12或第13的美国康奈尔大学博士的美国大师在他的文章最后说“如果钟集能有机会在国外发展，今天他的成就恐不在李政道、杨振宁之下”（当然曾担任武汉大学等中国3个大学校长的钟集教授的老师兼岳父黄际遇教授及其他的美国数学之父的导师和分别是哈佛大学、普林斯顿大学等3个世界最顶级大学第一人的师兄弟也是厉害；