四川省地质构造与成矿.pdf
本书全面收集整理区域地质调查与研究资料，深入分析控制区域成矿的建造和构造要素(地质构造预测要素)，系统解析和深入研究沉积岩区、火山岩区、侵入岩区、变质岩区地质构造特征，以及大型变形构造和综合地质构造特征。通过编制专题图件，对模型区与预测区进行成矿地质背景的区域关联，为建立区域成矿
胡世华
四川省成矿区带划分及区域成矿规律.pdf
本书在简要分析研究Ⅲ级成矿区带地质构造环境及其演化的基础上，探讨四川省铁、铝、铜、铅、锌、金、银、磷、稀土、锡、镍、锂、硫、锰、钾、硼、钼、铂、石墨、芒硝、煤等21个矿种(组)矿产时－空演化规律及其受控因素；划分了矿床成矿系列及亚系列，首次编制了各Ⅲ级成矿区带的区域成矿模式图和区
四川省铁矿成矿规律.pdf
本书对四川省11个典型铁矿矿床式成矿规律进行了研究和总结。重点突出各类型铁矿床的共同特征、关键成矿地质条件，编绘了各典型铁矿类型的成矿模式图，为寻找同类型铁矿床提供了理论基础。
数理逻辑基础 | 上册.pdf
本书介绍数理逻辑的基础知识，包括逻辑演算的基本内容．这些内容构成数理逻辑各个分支（模型论、证明论和构造性数学、递归论、集合论）的共同的基础． 本书共六部分，分上、下两册．上册包括绪论、第一章和第二章．绪论对数理逻辑的性质，逻辑演算的大概内容，以及阅读以后各章所需要
数理逻辑基础 | 下册.pdf
本书陈述数理逻辑的基础知识，包括逻辑演算的基本内容．这些内容构成数理逻辑各个分支（模型论、证明论和构造性数学、递归论、集合论）的共同的基础． 本书共六部分，分上、下两册．下册包括第三、四、五章和两个附录．第三章陈述逻辑演算的重言式系统，并研究自然推理系统和重言式系