Voir la notice de l'article provenant de la source European Digital Mathematics Library
@article{MAN_1934__109_159697, author = {K. Sch\"utte}, title = {Untersuchungen zum {Entscheidungsproblem} der mathematischen {Logik}}, journal = {Mathematische Annalen}, pages = {572--603}, publisher = {mathdoc}, volume = {109}, year = {1934}, zbl = {0009.00201}, url = {http://geodesic.mathdoc.fr/item/MAN_1934__109_159697/} }
K. Schütte. Untersuchungen zum Entscheidungsproblem der mathematischen Logik. Mathematische Annalen, Tome 109 (1934), pp. 572-603. http://geodesic.mathdoc.fr/item/MAN_1934__109_159697/