Kurt-R. Biermann Jurgen Mau Uberprufung Einer Fruhen Anwendung Der Kombinatorik in Der Logik. 129-132 1958 23 J. Symb. Log. 2 db/journals/jsyml/jsyml23.html#BiermannM58