A general catalogue of books in all languages, arts and sciences, that have been printed in Ireland, and published in Dublin [electronic resource] : from the year 1700, to the present time