Untersuchungen über das Entscheidunsproblem des mathematischen Logik
Tom 30 / 1938
Fundamenta Mathematicae 30 (1938), 257-348
DOI: 10.4064/fm-30-1-257-348
