%0 Journal Article
%A Alfred Tarski
%T A Simplified Nomalization of Predicate Logic with Identity.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1964
%P 61-80
%V 7
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1964__7_137772/
%F AMLG_1964__7_137772