Ein kombinatorischer Satz mit Anwendung auf ein logisches Entscheidungsproblem

Publishing house / Journals and Serials / Fundamenta Mathematicae / All issues

Th. Skolem Fundamenta Mathematicae 20 (1933), 254-261 DOI: 10.4064/fm-20-1-254-261