On the first-order theory of real exponentiation / Tamara Servi. Pisa : Edizioni della Normale, 2008