%0 Journal Article
%A Heinrich Behmann
%T Das Auflösungsproblem in der Klassenlogik.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1950
%P 17-29
%V 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1950__1_137711/
%F AMLG_1950__1_137711