%0 Journal Article %A TH. SKOLEM %T ALFRED TARSKI, in collaboration with ANDRZEJ MOSTOWSKI and RAPHAEL M. ROBINSON: Undecidable theories %J Mathematica Scandinavica %D 1954 %P 167-170 %V 2 %I mathdoc %U http://geodesic.mathdoc.fr/item/MS2_1954__2_165537/ %F MS2_1954__2_165537