TY  - JOUR
AU  - V. A. Lifshits
TI  - Specialization of the form of deduction in the precicate calculus with equality and function symbols.~I
JO  - Informatics and Automation
PY  - 1968
SP  - 5
EP  - 25
VL  - 98
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TRSPY_1968_98_a1/
LA  - ru
ID  - TRSPY_1968_98_a1
ER  -