Voir la notice de l'article provenant de la source European Digital Mathematics Library
@article{AMLG_1950__1_137711, author = {Heinrich Behmann}, title = {Das {Aufl\"osungsproblem} in der {Klassenlogik.}}, journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung}, pages = {17--29}, publisher = {mathdoc}, volume = {1}, year = {1950}, zbl = {0041.34805}, url = {http://geodesic.mathdoc.fr/item/AMLG_1950__1_137711/} }
Heinrich Behmann. Das Auflösungsproblem in der Klassenlogik.. Archiv für mathematische Logik und Grundlagenforschung, Tome 1 (1950), pp. 17-29. http://geodesic.mathdoc.fr/item/AMLG_1950__1_137711/