The Logical Syntax of Greek Mathematics - Fabio Acerbi (Springer, 2021)