ALFRED TARSKI, in collaboration with ANDRZEJ MOSTOWSKI and RAPHAEL M. ROBINSON: Undecidable theories
Mathematica Scandinavica, Tome 2 (1954), pp. 167-170
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/