Большая Советская энциклопедия (Пр) БСЭ Проходка горных выработок Прохо'дка го'рных вы'работок, см. Проведение горных выработок .