The works of George Berkeley including his posthumous works, with prefaces, annotations, appendices, and an account of his life