Voir la notice de l'article provenant de la source European Digital Mathematics Library
@article{MS2_1954__2_165537, author = {TH. SKOLEM}, title = {ALFRED {TARSKI,} in collaboration with {ANDRZEJ} {MOSTOWSKI} and {RAPHAEL} {M.} {ROBINSON:} {Undecidable} theories}, journal = {Mathematica Scandinavica}, pages = {167--170}, publisher = {mathdoc}, volume = {2}, year = {1954}, url = {http://geodesic.mathdoc.fr/item/MS2_1954__2_165537/} }
TH. SKOLEM. ALFRED TARSKI, in collaboration with ANDRZEJ MOSTOWSKI and RAPHAEL M. ROBINSON: Undecidable theories. Mathematica Scandinavica, Tome 2 (1954), pp. 167-170. http://geodesic.mathdoc.fr/item/MS2_1954__2_165537/