Archiwum górnictwa : kwartalnik.