Ein kombinatorischer Satz mit Anwendung auf ein logisches Entscheidungsproblem
Tom 20 / 1933
Fundamenta Mathematicae 20 (1933), 254-261
DOI: 10.4064/fm-20-1-254-261