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
Cet article a éte moissonné depuis 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},
year = {1954},
volume = {2},
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 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/