Geodesic
Ein neuer Beweis für die Entscheidbarkeit des einstelligen Prädikatenkalküls mit Identität.
Archiv für mathematische Logik und Grundlagenforschung, Tome 7 (1964), pp. 128-138.

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Mots-clés : mathematical logic 
@article{AMLG_1964__7_137777,
     author = {Ronald Bj\"orn Jensen},
     title = {Ein neuer {Beweis} f\"ur die {Entscheidbarkeit} des einstelligen {Pr\"adikatenkalk\"uls} mit {Identit\"at.}},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {128--138},
     publisher = {mathdoc},
     volume = {7},
     year = {1964},
     language = {de},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1964__7_137777/}
}
TY  - JOUR
AU  - Ronald Björn Jensen
TI  - Ein neuer Beweis für die Entscheidbarkeit des einstelligen Prädikatenkalküls mit Identität.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1964
SP  - 128
EP  - 138
VL  - 7
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMLG_1964__7_137777/
LA  - de
ID  - AMLG_1964__7_137777
ER  - 
%0 Journal Article
%A Ronald Björn Jensen
%T Ein neuer Beweis für die Entscheidbarkeit des einstelligen Prädikatenkalküls mit Identität.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1964
%P 128-138
%V 7
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1964__7_137777/
%G de
%F AMLG_1964__7_137777
Ronald Björn Jensen. Ein neuer Beweis für die Entscheidbarkeit des einstelligen Prädikatenkalküls mit Identität.. Archiv für mathematische Logik und Grundlagenforschung, Tome 7 (1964), pp. 128-138. http://geodesic.mathdoc.fr/item/AMLG_1964__7_137777/