@article{AMLG_1958__4_137740,
     author = {Wilhelm Ackermann},
     title = {Ein typenfreies {System} der {Logik} mit ausreichender mathematischer {Anwendungsf\"ahigkeit} {I.}},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {3--26},
     publisher = {mathdoc},
     volume = {4},
     year = {1958},
     zbl = {0083.00107},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1958__4_137740/}
}