Iōannou Grammatikou Alexandreōs tou philponou kata Proklou peri aidiotetos kosmou = Ioannis Grammatici Philoponi Alexandrini contra Proclum de mundi aeternitate | lit.salon