Manuale dell'ingegnere minerario : mineralogia, petrografia, geologia, ricerche minerarie, trivellazioni, topografia di miniera, economia di miniera, energia motrice ... /