Zapiski Nauchnykh Seminarov POMI, Studies in constructive mathematics and mathematical logic. Part I, Tome 4 (1967), pp. 58-64
Citer cet article
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/
@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
