%0 Journal Article %1 journals/aml/GuminH56 %A Gumin, Heinz %A Hermes, Hans %D 1956 %J Arch. Math. Log. %K dblp %N 2-4 %P 68-77 %T Die Soundness des Prädikatenkalküls auf der Basis der Quineschen Regeln. %U http://dblp.uni-trier.de/db/journals/aml/aml2.html#GuminH56 %V 2

@article{journals/aml/GuminH56, added-at = {2016-11-30T00:00:00.000+0100}, author = {Gumin, Heinz and Hermes, Hans}, biburl = {https://www.bibsonomy.org/bibtex/29f38ec1b8b10b66451211757a481d532/dblp}, ee = {http://dx.doi.org/10.1007/BF01969992}, interhash = {fd82a1598a60381c0fd0f10226b439d2}, intrahash = {9f38ec1b8b10b66451211757a481d532}, journal = {Arch. Math. Log.}, keywords = {dblp}, number = {2-4}, pages = {68-77}, timestamp = {2016-12-01T11:34:52.000+0100}, title = {Die Soundness des Prädikatenkalküls auf der Basis der Quineschen Regeln.}, url = {http://dblp.uni-trier.de/db/journals/aml/aml2.html#GuminH56}, volume = 2, year = 1956 }