Trudy Matematicheskogo Instituta imeni V.A. Steklova, Logical and logical-mathematical calculus. Part I, Tome 98 (1968), pp. 5-25
Citer cet article
V. A. Lifshits. Specialization of the form of deduction in the precicate calculus with equality and function symbols. I. Trudy Matematicheskogo Instituta imeni V.A. Steklova, Logical and logical-mathematical calculus. Part I, Tome 98 (1968), pp. 5-25. http://geodesic.mathdoc.fr/item/TM_1968_98_a1/
@article{TM_1968_98_a1,
author = {V. A. Lifshits},
title = {Specialization of the form of deduction in the precicate calculus with equality and function {symbols.~I}},
journal = {Trudy Matematicheskogo Instituta imeni V.A. Steklova},
pages = {5--25},
year = {1968},
volume = {98},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/TM_1968_98_a1/}
}
TY - JOUR
AU - V. A. Lifshits
TI - Specialization of the form of deduction in the precicate calculus with equality and function symbols. I
JO - Trudy Matematicheskogo Instituta imeni V.A. Steklova
PY - 1968
SP - 5
EP - 25
VL - 98
UR - http://geodesic.mathdoc.fr/item/TM_1968_98_a1/
LA - ru
ID - TM_1968_98_a1
ER -
%0 Journal Article
%A V. A. Lifshits
%T Specialization of the form of deduction in the precicate calculus with equality and function symbols. I
%J Trudy Matematicheskogo Instituta imeni V.A. Steklova
%D 1968
%P 5-25
%V 98
%U http://geodesic.mathdoc.fr/item/TM_1968_98_a1/
%G ru
%F TM_1968_98_a1
