You can do simple searches using this form:

Title	Mining History
Publisher	Peak District Mines Historical Society
Subject	Britain Peak Publication
Type	Book
Holdings
	Journals/Peak District Mines Historical Society.txt