@article{1183519151, author = {G\'al, Ilse Novak}, title = {Review: A. Tarski, Undecidable theories}, journal = {Bull. Amer. Math. Soc.}, volume = {60}, number = {6}, year = {1954}, pages = { 570-572}, language = {en}, url = {http://dml.mathdoc.fr/item/1183519151} }
Gál, Ilse Novak. Review: A. Tarski, Undecidable theories. Bull. Amer. Math. Soc., Tome 60 (1954) no. 6, pp. 570-572. http://gdmltest.u-ga.fr/item/1183519151/