MathSciNet bibliographic data MR1963772 (2004d:03020) 03B25 (12L05) Laczkovich, M. The removal of $\pi$$\pi$ from some undecidable problems involving elementary functions. Proc. Amer. Math. Soc. 131 (2003), no. 7, 2235–2240. Article

For users without a MathSciNet license , Relay Station allows linking from MR numbers in online mathematical literature directly to electronic journals and original articles. Subscribers receive the added value of full MathSciNet reviews.