Геология шахтная

Область геологии, занимающаяся геологическим обслуживанием шахт и разрезов (угольных, рудных и нерудных) в процессе разработки месторождений. Решает те же задачи, что и рудничная геология, являясь её синонимом.