Education and Training in the Mining Industry, 1750-1860: European Models and the Italian Case · Study