煤矿干部技术知识丛书 煤矿地质 修订本 作者：谢仁海 编 出版时间：1987年版 ...