Six Books of Proclus, the Platonic Successor, on the Theology of Plato, Translated From the Greek

To Which a Seventh Book Is Added, in Order to Supply the Deficiency of Another Book on This Subject, Which Was Written by Proclus, but Since Lost