%0 Journal Article
%A V. A. Lifshits
%T The normal form for deductions in the predicate calculus with equality and functional symbols
%J Zapiski Nauchnykh Seminarov POMI
%D 1967
%P 58-64
%V 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZNSL_1967_4_a5/
%G ru
%F ZNSL_1967_4_a5