Mathematica Scandinavica, Tome 2 (1954), pp. 167-170
Citer cet article
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/
@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},
year = {1954},
volume = {2},
url = {http://geodesic.mathdoc.fr/item/MS2_1954__2_165537/}
}
TY - JOUR
AU - TH. SKOLEM
TI - ALFRED TARSKI, in collaboration with ANDRZEJ MOSTOWSKI and RAPHAEL M. ROBINSON: Undecidable theories
JO - Mathematica Scandinavica
PY - 1954
SP - 167
EP - 170
VL - 2
UR - http://geodesic.mathdoc.fr/item/MS2_1954__2_165537/
ID - MS2_1954__2_165537
ER -
%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
%U http://geodesic.mathdoc.fr/item/MS2_1954__2_165537/
%F MS2_1954__2_165537
