Mineria (Instituto de Ingenieros de Minas del Peru, 1952)