Books of 17th-18th centuries on mechanics in mining in the main library of LMI - Bauman , G. (Journal of Mining Institute, 1991)