1. On Schanuel's conjectures;Ax;Ann. Math.,1971
2. The elementary theory of restricted analytic fields with exponentiation;van den Dries;Ann. Math.,1994
3. On the decidability of the real exponential field;Macintyre,1996
4. Transcendental Numbers, Annals of Mathematical Studies, No. 16;Siegel,1949