%0 Journal Article %1 journals/jsyml/BiermannM58 %A Biermann, Kurt-R. %A Mau, Jurgen %D 1958 %J J. Symb. Log. %K dblp %N 2 %P 129-132 %T Uberprufung Einer Fruhen Anwendung Der Kombinatorik in Der Logik. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml23.html#BiermannM58 %V 23

@article{journals/jsyml/BiermannM58, added-at = {2017-05-28T00:00:00.000+0200}, author = {Biermann, Kurt-R. and Mau, Jurgen}, biburl = {https://www.bibsonomy.org/bibtex/275e3726d19a874ec61c8044fa04ebf42/dblp}, ee = {http://projecteuclid.org/euclid.jsl/1183733256}, interhash = {9e80064ed95e37a3096a7d7b596f6140}, intrahash = {75e3726d19a874ec61c8044fa04ebf42}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 2, pages = {129-132}, timestamp = {2017-05-31T08:08:29.000+0200}, title = {Uberprufung Einer Fruhen Anwendung Der Kombinatorik in Der Logik.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml23.html#BiermannM58}, volume = 23, year = 1958 }