Горное дело Энциклопед. справочник (Общие инженерные сведения, 1957)