Voir la notice de l'article provenant de la source European Digital Mathematics Library
@article{AMLG_1954__2_137725, author = {Hans Hermes and Heinz Gumin}, title = {Die {Soundness} des {Pr\"adikatenkalk\"uls} auf der {Basis} der {Quineschen} {Regeln.}}, journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung}, pages = {68--77}, publisher = {mathdoc}, volume = {2}, year = {1954}, zbl = {0071.00902}, url = {http://geodesic.mathdoc.fr/item/AMLG_1954__2_137725/} }
TY - JOUR AU - Hans Hermes AU - Heinz Gumin TI - Die Soundness des Prädikatenkalküls auf der Basis der Quineschen Regeln. JO - Archiv für mathematische Logik und Grundlagenforschung PY - 1954 SP - 68 EP - 77 VL - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AMLG_1954__2_137725/ ID - AMLG_1954__2_137725 ER -
Hans Hermes; Heinz Gumin. Die Soundness des Prädikatenkalküls auf der Basis der Quineschen Regeln.. Archiv für mathematische Logik und Grundlagenforschung, Tome 2 (1954), pp. 68-77. http://geodesic.mathdoc.fr/item/AMLG_1954__2_137725/