Acerbi F. The Logical Syntax of Greek Mathematics 2021