胡世华
数理逻辑基础 | 下册
《数理逻辑基础 | 下册》,作者:胡世华 出版社:科学出版社 ISBN:130311948。本书陈述数理逻辑的基础知识，包括逻辑演算的基本内容．这些内容构成数理逻辑各个分支（模型论、证明论和构造性数学、递归论、集合论）的共同的基础． 本书共六部分，分上、下两册．下册包括第三、四、五章和两个附录．第三章陈述逻辑演算的重言式系统，并研究自然推理系统和重言式系
数理逻辑基础 | 上册
《数理逻辑基础 | 上册》,作者:胡世华 出版社:科学出版社 ISBN:130311320。本书介绍数理逻辑的基础知识，包括逻辑演算的基本内容．这些内容构成数理逻辑各个分支（模型论、证明论和构造性数学、递归论、集合论）的共同的基础． 本书共六部分，分上、下两册．上册包括绪论、第一章和第二章．绪论对数理逻辑的性质，逻辑演算的大概内容，以及阅读以后各章所需要
四川省成矿区带划分及区域成矿规律
《四川省成矿区带划分及区域成矿规律》,作者:曾云，贺金良，王秀京，胡世华 出版社:科学出版社 ISBN:9787030435828。本书在简要分析研究Ⅲ级成矿区带地质构造环境及其演化的基础上，探讨四川省铁、铝、铜、铅、锌、金、银、磷、稀土、锡、镍、锂、硫、锰、钾、硼、钼、铂、石墨、芒硝、煤等21个矿种(组)矿产时－空演化规律及其受控因素；划分了矿床成矿系列及亚系列，首次编制了各Ⅲ级成矿区带的区域成
四川省地质构造与成矿
《四川省地质构造与成矿》,作者:张建东，胡世华，秦宇龙，胡朝云，刘啸虎，俞如龙，王康明，娄康发 出版社:科学出版社 ISBN:9787030451606。本书全面收集整理区域地质调查与研究资料，深入分析控制区域成矿的建造和构造要素(地质构造预测要素)，系统解析和深入研究沉积岩区、火山岩区、侵入岩区、变质岩区地质构造特征，以及大型变形构造和综合地质构造特征。通过编制专题图件，对模型区与预测区进行成矿
