Ein typenfreies System der Logik mit ausreichender mathematischer Anwendungsfähigkeit II. Wilhelm Ackermann Archiv für mathematische Logik und Grundlagenforschung
Ein typenfreies System der Logik mit ausreichender mathematischer Anwendungsfähigkeit I. Wilhelm Ackermann — 1958 Archiv für mathematische Logik und Grundlagenforschung
Der Aufbau einer höheren Logik. Wilhelm Ackermann Archiv für mathematische Logik und Grundlagenforschung