%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