A. Baker, Linear forms in the logarithms of algebraic numbers. I, II, III, Mathematika 13 ,(1966), pp.204–216; ibid. 14, (1967), pp.102–107; ibid. 14, (1967), pp.220–228, MR0220680
Zilber, B. Pseudo-exponentiation on algebraically closed fields of characteristic zero. Annals of Pure and Applied Logic. 2005, 132 (1): 67–95. MR 2102856. doi:10.1016/j.apal.2004.07.001.
Richardson, D. Some Undecidable Problems Involving Elementary Functions of a Real Variable. Journal of Symbolic Logic. 1968, 33 (4): 514–520. JSTOR 2271358. MR 0239976. doi:10.2307/2271358.
Bell, E. T. Men of Mathematics. New York: Simon & Schuster. 1937: 569.
bnf.fr
gallica.bnf.fr
Liouville, J. Sur les classes très étendues de quantités dont la valeur n'est ni algébrique ni même réductible à des irrationelles algébriques. Comptes rendus de l'Académie des Sciences de Paris. 1844, 18: 883–885, 910–911.; Journal Math. Pures et Appl.16, (1851), pp.133–142.
Zilber, B. Pseudo-exponentiation on algebraically closed fields of characteristic zero. Annals of Pure and Applied Logic. 2005, 132 (1): 67–95. MR 2102856. doi:10.1016/j.apal.2004.07.001.
Richardson, D. Some Undecidable Problems Involving Elementary Functions of a Real Variable. Journal of Symbolic Logic. 1968, 33 (4): 514–520. JSTOR 2271358. MR 0239976. doi:10.2307/2271358.
Richardson, D. Some Undecidable Problems Involving Elementary Functions of a Real Variable. Journal of Symbolic Logic. 1968, 33 (4): 514–520. JSTOR 2271358. MR 0239976. doi:10.2307/2271358.