Voir la notice de l'article provenant de la source European Digital Mathematics Library
@article{MS2_1955__3_165583, author = {TH. SKOLEM}, title = {W. {ACKERMANN:} {Solvable} cases of the decision problem}, journal = {Mathematica Scandinavica}, pages = {174--176}, publisher = {mathdoc}, volume = {3}, year = {1955}, url = {http://geodesic.mathdoc.fr/item/MS2_1955__3_165583/} }
TH. SKOLEM. W. ACKERMANN: Solvable cases of the decision problem. Mathematica Scandinavica, Tome 3 (1955), pp. 174-176. http://geodesic.mathdoc.fr/item/MS2_1955__3_165583/