Works of the learned Joseph Bingham