Title: On the First-Order Theory of Real Exponentiation
Subjects: Exponential functions