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  -