Die m-Grade logischer Entscheidungsprobleme. E. Börger; Klaus Heidler — 1975 Archiv für mathematische Logik und Grundlagenforschung