@article{GDZPPN002042576,
title = {Das Aufl\"osungsproblem in der Klassenlogik.},
journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
volume = {1},
year = {1950},
pages = {17-29},
zbl = {0041.34805},
url = {http://dml.mathdoc.fr/item/GDZPPN002042576}
}
Behmann, Heinrich. Das Auflösungsproblem in der Klassenlogik.. Archiv für mathematische Logik und Grundlagenforschung, Tome 1 (1950) pp. 17-29. http://gdmltest.u-ga.fr/item/GDZPPN002042576/