Wilhelm Ackermann Widerspruchsfreier Aufbau Der Logik I: Typenfreies System Ohne Tertium Non Datur. 33-57 1950 15 J. Symb. Log. 1 db/journals/jsyml/jsyml15.html#Ackermann50