Bibliografia polskiego piśmiennictwa górniczego za lata .. (Prace Głównego Instytutu Górnictwa. Seria dodatkowa)