A Completeness Theorem for Trigonometric Identities and Various Results on Exponential Functions
Lou van den Dries · Proceedings of the American Mathematical Society · 1986
Lou Van Den Dries, A Completeness Theorem for Trigonometric Identities and Various Results on Exponential Functions, Proceedings of the American Mathematical Society, Vol. 96, No. 2 (Feb., 1986), pp. 345-352