Geodesic
The normal form for deductions in the predicate calculus with equality and functional symbols
Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part I, Tome 4 (1967), pp. 58-64

Voir la notice de l'article provenant de la source Math-Net.Ru

@article{ZNSL_1967_4_a5,
     author = {V. A. Lifshits},
     title = {The normal form for deductions in the predicate calculus with equality and functional symbols},
     journal = {Zapiski Nauchnykh Seminarov POMI},
     pages = {58--64},
     publisher = {mathdoc},
     volume = {4},
     year = {1967},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/ZNSL_1967_4_a5/}
}
TY  - JOUR
AU  - V. A. Lifshits
TI  - The normal form for deductions in the predicate calculus with equality and functional symbols
JO  - Zapiski Nauchnykh Seminarov POMI
PY  - 1967
SP  - 58
EP  - 64
VL  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ZNSL_1967_4_a5/
LA  - ru
ID  - ZNSL_1967_4_a5
ER  - 
%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
V. A. Lifshits. The normal form for deductions in the predicate calculus with equality and functional symbols. Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part I, Tome 4 (1967), pp. 58-64. http://geodesic.mathdoc.fr/item/ZNSL_1967_4_a5/