%0 Journal Article
%A Wilhelm Ackermann
%T Ein typenfreies System der Logik mit ausreichender mathematischer Anwendungsfähigkeit I.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1958
%P 3-26
%V 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1958__4_137740/
%F AMLG_1958__4_137740