Proklos über die Definitionen bei Euklid - Majer, Ludwig (University of Cincinnati dissertations ., 1881)