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 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice du chapitre de livre

@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},
     year = {1967},
     volume = {4},
     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
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
%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/